claim !P:prop.!Q:prop.!R:prop.!P2:prop.!Q2:prop.P -> Q -> R -> P2 -> Q2 -> P & Q & R & P2 & Q2