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