if the helmet is not punic the glutamate is chimeric.
sent1: if the helmet is not punic then that it promises is right. sent2: something is a felloe and it does promise if it is not punic. sent3: if the helmet is punic then it is a felloe and it does promise. sent4: the helmet is not a cootie. sent5: if the helmet is punic the glutamate is chimeric. sent6: something that is not punic does promise. sent7: the glutamate is chimeric and it is punic if it is not a felloe. sent8: the helmet is a promising.
sent2 -> int1: if the helmet is not punic then that it is a kind of a felloe and promises is not incorrect.; void -> assump1: Let's assume that the helmet is not punic.; int1 & assump1 -> int2: the helmet is a felloe and it does promise.; int2 -> int3: the helmet is a felloe.;
$hypothesis$ = if the helmet is not punic the glutamate is chimeric. ; $context$ = sent1: if the helmet is not punic then that it promises is right. sent2: something is a felloe and it does promise if it is not punic. sent3: if the helmet is punic then it is a felloe and it does promise. sent4: the helmet is not a cootie. sent5: if the helmet is punic the glutamate is chimeric. sent6: something that is not punic does promise. sent7: the glutamate is chimeric and it is punic if it is not a felloe. sent8: the helmet is a promising. ; $proof$ = 
sent2 -> int1: if the helmet is not punic then that it is a kind of a felloe and promises is not incorrect.; void -> assump1: Let's assume that the helmet is not punic.; int1 & assump1 -> int2: the helmet is a felloe and it does promise.; int2 -> int3: the helmet is a felloe.; __UNKNOWN__