the deuce is injectable if the fact that the gorgonzola is a trench is right.
sent1: the gorgonzola is comatose if it trenches. sent2: the fact that the deuce is a trench is correct if the gorgonzola is injectable. sent3: the deuce is a kind of a Semitic. sent4: if that the gorgonzola is comatose is not false then it is injectable. sent5: the ritualist is injectable. sent6: the fieldmouse does trench. sent7: if the deuce is injectable then it is a kind of a trench. sent8: the gorgonzola is injectable. sent9: if the deuce is comatose the gorgonzola is injectable. sent10: if the fact that the gorgonzola is injectable is true the deuce is comatose. sent11: the gorgonzola is injectable if the deuce is a trench. sent12: the deuce nominates. sent13: the deuce is comatose. sent14: the deuce does seep maxilla. sent15: the deuce is injectable if the gorgonzola is comatose. sent16: the deuce does trench. sent17: the pinwheel is a trench. sent18: the gorgonzola trenches if that the deuce is comatose is not false. sent19: the gorgonzola sags illogicality.
void -> assump1: Let's assume that the gorgonzola is a trench.; sent1 & assump1 -> int1: the gorgonzola is comatose.; sent15 & int1 -> int2: the deuce is injectable.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the deuce is injectable if the fact that the gorgonzola is a trench is right. ; $context$ = sent1: the gorgonzola is comatose if it trenches. sent2: the fact that the deuce is a trench is correct if the gorgonzola is injectable. sent3: the deuce is a kind of a Semitic. sent4: if that the gorgonzola is comatose is not false then it is injectable. sent5: the ritualist is injectable. sent6: the fieldmouse does trench. sent7: if the deuce is injectable then it is a kind of a trench. sent8: the gorgonzola is injectable. sent9: if the deuce is comatose the gorgonzola is injectable. sent10: if the fact that the gorgonzola is injectable is true the deuce is comatose. sent11: the gorgonzola is injectable if the deuce is a trench. sent12: the deuce nominates. sent13: the deuce is comatose. sent14: the deuce does seep maxilla. sent15: the deuce is injectable if the gorgonzola is comatose. sent16: the deuce does trench. sent17: the pinwheel is a trench. sent18: the gorgonzola trenches if that the deuce is comatose is not false. sent19: the gorgonzola sags illogicality. ; $proof$ = 
void -> assump1: Let's assume that the gorgonzola is a trench.; sent1 & assump1 -> int1: the gorgonzola is comatose.; sent15 & int1 -> int2: the deuce is injectable.; [assump1] & int2 -> hypothesis; __PROVED__