the alderman is morphophonemic and is not papery if the electricity is pneumonic.
sent1: if something is cometary it is a screening. sent2: if the falcon-gentle is not papery the alderman is morphophonemic but it is not papery. sent3: the janitor is not a hagberry if there exists something such that that it accretes rearrangement and it is a kind of a hagberry is incorrect. sent4: the whittler is cometary and papery if the electricity is not a Bighorn. sent5: if the fact that something is morphophonemic and is not appropriative is not true it is a Clay. sent6: there is something such that it is a werewolf. sent7: there is something such that that it accretes rearrangement and is a kind of a hagberry is not correct. sent8: if something that does screen is a kind of a Clay that it is pneumonic does not hold. sent9: that the electricity is a kind of a Call but it does not insure is not false if it is pneumonic. sent10: if the electricity is a kind of a Call but it does not insure the janitor is not a kind of a Clay. sent11: if something is not cometary and it does not screen then it is not papery. sent12: if there exists something such that it is a kind of a werewolf then the electricity is a nightlife and not a Bighorn. sent13: if the janitor is not a Clay the falcon-gentle is not cometary and is not a screening. sent14: that the whittler is not non-morphophonemic and not appropriative is not right if there is something such that it is not a hagberry.
void -> assump1: Let's assume that the electricity is pneumonic.; sent9 & assump1 -> int1: the electricity is a Call but it does not insure.; int1 & sent10 -> int2: the janitor is not a Clay.; int2 & sent13 -> int3: the falcon-gentle is not cometary and it is not a screening.; sent11 -> int4: the falcon-gentle is not papery if it is not cometary and is not a screening.; int3 & int4 -> int5: the falcon-gentle is not papery.; int5 & sent2 -> int6: the alderman is both morphophonemic and not papery.; [assump1] & int6 -> hypothesis;
the fact that the whittler is not pneumonic hold.
sent8 -> int7: if the whittler is both a screening and a Clay it is not pneumonic.; sent1 -> int8: if the whittler is cometary it is a screening.; sent6 & sent12 -> int9: the electricity is a nightlife but not a Bighorn.; int9 -> int10: the electricity is not a Bighorn.; sent4 & int10 -> int11: the whittler is not non-cometary but papery.; int11 -> int12: the whittler is cometary.; int8 & int12 -> int13: the whittler is a screening.; sent5 -> int14: the whittler is a Clay if that it is both morphophonemic and not appropriative is false.; sent7 & sent3 -> int15: the janitor is not a hagberry.; int15 -> int16: something is not a kind of a hagberry.; int16 & sent14 -> int17: that the whittler is morphophonemic and is not appropriative is wrong.; int14 & int17 -> int18: the whittler is a kind of a Clay.; int13 & int18 -> int19: the whittler is a screening and it is a kind of a Clay.; int7 & int19 -> hypothesis;
$hypothesis$ = the alderman is morphophonemic and is not papery if the electricity is pneumonic. ; $context$ = sent1: if something is cometary it is a screening. sent2: if the falcon-gentle is not papery the alderman is morphophonemic but it is not papery. sent3: the janitor is not a hagberry if there exists something such that that it accretes rearrangement and it is a kind of a hagberry is incorrect. sent4: the whittler is cometary and papery if the electricity is not a Bighorn. sent5: if the fact that something is morphophonemic and is not appropriative is not true it is a Clay. sent6: there is something such that it is a werewolf. sent7: there is something such that that it accretes rearrangement and is a kind of a hagberry is not correct. sent8: if something that does screen is a kind of a Clay that it is pneumonic does not hold. sent9: that the electricity is a kind of a Call but it does not insure is not false if it is pneumonic. sent10: if the electricity is a kind of a Call but it does not insure the janitor is not a kind of a Clay. sent11: if something is not cometary and it does not screen then it is not papery. sent12: if there exists something such that it is a kind of a werewolf then the electricity is a nightlife and not a Bighorn. sent13: if the janitor is not a Clay the falcon-gentle is not cometary and is not a screening. sent14: that the whittler is not non-morphophonemic and not appropriative is not right if there is something such that it is not a hagberry. ; $proof$ = 
void -> assump1: Let's assume that the electricity is pneumonic.; sent9 & assump1 -> int1: the electricity is a Call but it does not insure.; int1 & sent10 -> int2: the janitor is not a Clay.; int2 & sent13 -> int3: the falcon-gentle is not cometary and it is not a screening.; sent11 -> int4: the falcon-gentle is not papery if it is not cometary and is not a screening.; int3 & int4 -> int5: the falcon-gentle is not papery.; int5 & sent2 -> int6: the alderman is both morphophonemic and not papery.; [assump1] & int6 -> hypothesis; __PROVED__