if the pump is ceric then the waiter is a wencher.
sent1: if the waiter is nonprescription then the immunogen is a colonialism. sent2: the waiter is a colonialism if the immunogen is nonprescription and is not syllogistic. sent3: if the immunogen is not nonprescription and it is non-syllogistic then the waiter is a colonialism. sent4: the immunogen is not a colonialism and is not nonprescription. sent5: if that the immunogen is not nonprescription and is not syllogistic is wrong then the pump is not ceric. sent6: the immunogen is ceric. sent7: if the fact that the immunogen is non-nonprescription thing that is not syllogistic is false then the pump is ceric. sent8: the pump is not a wencher if the waiter is ceric. sent9: something is a wencher if it is a colonialism. sent10: the immunogen is not nonprescription. sent11: the fact that the immunogen is not a wencher and it is not syllogistic does not hold.
void -> assump2: Let's assume that that the immunogen is not nonprescription and is not syllogistic is not true.; sent5 & assump2 -> int1: the pump is not ceric.; void -> assump1: Let's assume that that the pump is ceric is true.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the immunogen is a kind of non-nonprescription thing that is non-syllogistic hold.; int3 & sent3 -> int4: the waiter is a colonialism.; sent9 -> int5: if the waiter is a colonialism it is a wencher.; int4 & int5 -> int6: the waiter is a wencher.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the pump is ceric then the waiter is a wencher. ; $context$ = sent1: if the waiter is nonprescription then the immunogen is a colonialism. sent2: the waiter is a colonialism if the immunogen is nonprescription and is not syllogistic. sent3: if the immunogen is not nonprescription and it is non-syllogistic then the waiter is a colonialism. sent4: the immunogen is not a colonialism and is not nonprescription. sent5: if that the immunogen is not nonprescription and is not syllogistic is wrong then the pump is not ceric. sent6: the immunogen is ceric. sent7: if the fact that the immunogen is non-nonprescription thing that is not syllogistic is false then the pump is ceric. sent8: the pump is not a wencher if the waiter is ceric. sent9: something is a wencher if it is a colonialism. sent10: the immunogen is not nonprescription. sent11: the fact that the immunogen is not a wencher and it is not syllogistic does not hold. ; $proof$ = 
void -> assump2: Let's assume that that the immunogen is not nonprescription and is not syllogistic is not true.; sent5 & assump2 -> int1: the pump is not ceric.; void -> assump1: Let's assume that that the pump is ceric is true.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the immunogen is a kind of non-nonprescription thing that is non-syllogistic hold.; int3 & sent3 -> int4: the waiter is a colonialism.; sent9 -> int5: if the waiter is a colonialism it is a wencher.; int4 & int5 -> int6: the waiter is a wencher.; [assump1] & int6 -> hypothesis; __PROVED__