the fact that the hackle does Simonize mist if the captive is antecubital hold.
sent1: the captive does not Simonize mist. sent2: if the captive Simonizes mist the hackle is a kind of a Anthonomus. sent3: the fact that the captive does Simonize plowman and it is antecubital is not true. sent4: the captive does not Simonize plowman. sent5: if the captive is a Anthonomus and not antecubital then that it does not Simonize mist is incorrect. sent6: the hackle Simonizes mist if the captive is a kind of a Anthonomus. sent7: that the captive is a Anthonomus is not wrong if it does Simonize plowman and it is not antecubital. sent8: the captive is a Anthonomus if that that it Simonizes plowman and it is not antecubital is not false does not hold.
void -> assump1: Let's assume that the captive is antecubital.; void -> assump2: Let's assume that the captive Simonizes plowman but it is not antecubital.; assump2 -> int1: the captive is not antecubital.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the captive Simonizes plowman and is non-antecubital is false.; sent8 & int3 -> int4: the captive is a Anthonomus.; sent6 & int4 -> int5: the hackle Simonizes mist.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the hackle does Simonize mist if the captive is antecubital hold. ; $context$ = sent1: the captive does not Simonize mist. sent2: if the captive Simonizes mist the hackle is a kind of a Anthonomus. sent3: the fact that the captive does Simonize plowman and it is antecubital is not true. sent4: the captive does not Simonize plowman. sent5: if the captive is a Anthonomus and not antecubital then that it does not Simonize mist is incorrect. sent6: the hackle Simonizes mist if the captive is a kind of a Anthonomus. sent7: that the captive is a Anthonomus is not wrong if it does Simonize plowman and it is not antecubital. sent8: the captive is a Anthonomus if that that it Simonizes plowman and it is not antecubital is not false does not hold. ; $proof$ = 
void -> assump1: Let's assume that the captive is antecubital.; void -> assump2: Let's assume that the captive Simonizes plowman but it is not antecubital.; assump2 -> int1: the captive is not antecubital.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the captive Simonizes plowman and is non-antecubital is false.; sent8 & int3 -> int4: the captive is a Anthonomus.; sent6 & int4 -> int5: the hackle Simonizes mist.; [assump1] & int5 -> hypothesis; __PROVED__