if the delicatessen does not graze but it does house Schonbein the barroom does not house Jowett.
sent1: if something is a graze and it does house Schonbein the barroom does not house Jowett. sent2: if something that is not a graze does house Schonbein the barroom does not house Jowett. sent3: the barroom houses Jowett. sent4: the delicatessen houses Jowett if the barroom does not house Schonbein but it is a graze. sent5: the barroom does house Schonbein if the delicatessen does not house Jowett but it grazes. sent6: the delicatessen is priestly. sent7: the fact that the delicatessen does not house Jowett is correct if something that is not a graze does house Schonbein. sent8: if something does not graze and houses Schonbein then the barroom does house Jowett.
void -> assump1: Let's assume that the delicatessen is not a graze but it does house Schonbein.; assump1 -> int1: something is not a kind of a graze but it does house Schonbein.; int1 & sent2 -> int2: the barroom does not house Jowett.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the delicatessen does not graze but it does house Schonbein the barroom does not house Jowett. ; $context$ = sent1: if something is a graze and it does house Schonbein the barroom does not house Jowett. sent2: if something that is not a graze does house Schonbein the barroom does not house Jowett. sent3: the barroom houses Jowett. sent4: the delicatessen houses Jowett if the barroom does not house Schonbein but it is a graze. sent5: the barroom does house Schonbein if the delicatessen does not house Jowett but it grazes. sent6: the delicatessen is priestly. sent7: the fact that the delicatessen does not house Jowett is correct if something that is not a graze does house Schonbein. sent8: if something does not graze and houses Schonbein then the barroom does house Jowett. ; $proof$ = 
void -> assump1: Let's assume that the delicatessen is not a graze but it does house Schonbein.; assump1 -> int1: something is not a kind of a graze but it does house Schonbein.; int1 & sent2 -> int2: the barroom does not house Jowett.; [assump1] & int2 -> hypothesis; __PROVED__