the hindshank does not peer.
sent1: if something does exhale meatball or does not narrow or both it is not a kind of an imperialist. sent2: the legislator exhales meatball if there exists something such that that it does not whistle ordainer and it is a drug is not right. sent3: the fact that the hindshank peers if the legislator is not a kind of an imperialist hold. sent4: if the Pullman does not whistle ordainer and is a drug then it is undomestic. sent5: something is not undomestic and/or does not whistle Wilson. sent6: the Pullman is not undomestic if there exists something such that it is not undomestic and/or it does not whistle Wilson.
void -> assump1: Let's assume that the Pullman does not whistle ordainer and does drug.; sent4 & assump1 -> int1: the Pullman is undomestic.; sent5 & sent6 -> int2: the Pullman is not undomestic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Pullman does not whistle ordainer and does drug is not correct.; int4 -> int5: there is something such that that it does not whistle ordainer and it drugs is not right.; int5 & sent2 -> int6: the legislator exhales meatball.; int6 -> int7: either the legislator exhales meatball or it is not a narrow or both.; sent1 -> int8: if the legislator either exhales meatball or is not a narrow or both it is not a kind of an imperialist.; int7 & int8 -> int9: the legislator is not a kind of an imperialist.; int9 & sent3 -> hypothesis;
$hypothesis$ = the hindshank does not peer. ; $context$ = sent1: if something does exhale meatball or does not narrow or both it is not a kind of an imperialist. sent2: the legislator exhales meatball if there exists something such that that it does not whistle ordainer and it is a drug is not right. sent3: the fact that the hindshank peers if the legislator is not a kind of an imperialist hold. sent4: if the Pullman does not whistle ordainer and is a drug then it is undomestic. sent5: something is not undomestic and/or does not whistle Wilson. sent6: the Pullman is not undomestic if there exists something such that it is not undomestic and/or it does not whistle Wilson. ; $proof$ = 
void -> assump1: Let's assume that the Pullman does not whistle ordainer and does drug.; sent4 & assump1 -> int1: the Pullman is undomestic.; sent5 & sent6 -> int2: the Pullman is not undomestic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Pullman does not whistle ordainer and does drug is not correct.; int4 -> int5: there is something such that that it does not whistle ordainer and it drugs is not right.; int5 & sent2 -> int6: the legislator exhales meatball.; int6 -> int7: either the legislator exhales meatball or it is not a narrow or both.; sent1 -> int8: if the legislator either exhales meatball or is not a narrow or both it is not a kind of an imperialist.; int7 & int8 -> int9: the legislator is not a kind of an imperialist.; int9 & sent3 -> hypothesis; __DISPROVED__