the hilltop is katabatic or it does swim darkroom or both.
sent1: if that something is not a Shiite and it does not supple seaplane does not hold it is a Shiite. sent2: that the cheesecloth is not a kind of a Shiite and does not supple seaplane is not right if something does supple seaplane. sent3: if the hilltop does not swim darkroom the gulper does accumulate but it is not a patty-pan. sent4: if there exists something such that it does accumulate and is not a patty-pan the cheesecloth is not a kind of a Shiite. sent5: there exists something such that it is not a patty-pan. sent6: The fact that the seaplane does not supple nincompoop is incorrect. sent7: that the cheesecloth is a Shiite and does not supple seaplane does not hold. sent8: the gulper accumulates. sent9: the fact that the nincompoop does not supple seaplane is incorrect.
void -> assump1: Let's assume that the hilltop does not swim darkroom.; sent3 & assump1 -> int1: the gulper accumulates but it is not a kind of a patty-pan.; int1 -> int2: there is something such that it does accumulate and is not a patty-pan.; int2 & sent4 -> int3: that the cheesecloth is not a Shiite is correct.; sent1 -> int4: if the fact that the fact that the cheesecloth is not a kind of a Shiite and it does not supple seaplane hold is incorrect then it is a Shiite.; sent9 -> int5: there exists something such that the fact that it supples seaplane is not false.; int5 & sent2 -> int6: the fact that the cheesecloth is not a kind of a Shiite and it does not supple seaplane does not hold.; int4 & int6 -> int7: the cheesecloth is a Shiite.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hilltop swims darkroom.; int9 -> hypothesis;
$hypothesis$ = the hilltop is katabatic or it does swim darkroom or both. ; $context$ = sent1: if that something is not a Shiite and it does not supple seaplane does not hold it is a Shiite. sent2: that the cheesecloth is not a kind of a Shiite and does not supple seaplane is not right if something does supple seaplane. sent3: if the hilltop does not swim darkroom the gulper does accumulate but it is not a patty-pan. sent4: if there exists something such that it does accumulate and is not a patty-pan the cheesecloth is not a kind of a Shiite. sent5: there exists something such that it is not a patty-pan. sent6: The fact that the seaplane does not supple nincompoop is incorrect. sent7: that the cheesecloth is a Shiite and does not supple seaplane does not hold. sent8: the gulper accumulates. sent9: the fact that the nincompoop does not supple seaplane is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the hilltop does not swim darkroom.; sent3 & assump1 -> int1: the gulper accumulates but it is not a kind of a patty-pan.; int1 -> int2: there is something such that it does accumulate and is not a patty-pan.; int2 & sent4 -> int3: that the cheesecloth is not a Shiite is correct.; sent1 -> int4: if the fact that the fact that the cheesecloth is not a kind of a Shiite and it does not supple seaplane hold is incorrect then it is a Shiite.; sent9 -> int5: there exists something such that the fact that it supples seaplane is not false.; int5 & sent2 -> int6: the fact that the cheesecloth is not a kind of a Shiite and it does not supple seaplane does not hold.; int4 & int6 -> int7: the cheesecloth is a Shiite.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hilltop swims darkroom.; int9 -> hypothesis; __PROVED__