if the plage radiates the washstand does insufflate golf.
sent1: if something that does not radiate is not a cyclooxygenase then it is a Saxon. sent2: the plage is Saxon if it is a cyclooxygenase. sent3: if the washstand insufflates node then it insufflates golf. sent4: if something does not insufflate node it does not radiate and is not a cyclooxygenase. sent5: if the plage does radiate then it is a cyclooxygenase.
void -> assump1: Let's assume that the plage radiates.; sent5 & assump1 -> int1: the plage is a cyclooxygenase.; int1 & sent2 -> int2: the plage is a kind of a Saxon.;
the peanut is a kind of a Saxon.
sent1 -> int3: the peanut is a kind of a Saxon if it does not radiate and is not a kind of a cyclooxygenase.; sent4 -> int4: if the fact that the peanut does not insufflate node is right then it does not radiate and it is not a kind of a cyclooxygenase.;
$hypothesis$ = if the plage radiates the washstand does insufflate golf. ; $context$ = sent1: if something that does not radiate is not a cyclooxygenase then it is a Saxon. sent2: the plage is Saxon if it is a cyclooxygenase. sent3: if the washstand insufflates node then it insufflates golf. sent4: if something does not insufflate node it does not radiate and is not a cyclooxygenase. sent5: if the plage does radiate then it is a cyclooxygenase. ; $proof$ = 
void -> assump1: Let's assume that the plage radiates.; sent5 & assump1 -> int1: the plage is a cyclooxygenase.; int1 & sent2 -> int2: the plage is a kind of a Saxon.; __UNKNOWN__