the supermarketer is a bustle that transfers souse.
sent1: the supermarketer is Franciscan. sent2: if there is something such that either it does transfer souse or it is a Federal or both the supermarketer transfer souse. sent3: the fact that the supermarketer transfers terrapin is not incorrect. sent4: if there is something such that it does transfer souse the supermarketer does transfer souse. sent5: the Ceylonite is a bustle if the supermarketer is both not a clatter and a bustle. sent6: if something that is a kind of a Federal does refer Appalachians it does not clatter. sent7: something transfers souse and/or is a Federal. sent8: the supermarketer is a clatter and it does bustle. sent9: the supermarketer is a clatter.
sent8 -> int1: the supermarketer is a bustle.; sent7 & sent2 -> int2: the supermarketer transfers souse.; int1 & int2 -> hypothesis;
the fact that the supermarketer is a kind of a bustle and it does transfer souse is not true.
sent6 -> int3: if the eolith is a kind of a Federal and does refer Appalachians then it does not clatter.;
$hypothesis$ = the supermarketer is a bustle that transfers souse. ; $context$ = sent1: the supermarketer is Franciscan. sent2: if there is something such that either it does transfer souse or it is a Federal or both the supermarketer transfer souse. sent3: the fact that the supermarketer transfers terrapin is not incorrect. sent4: if there is something such that it does transfer souse the supermarketer does transfer souse. sent5: the Ceylonite is a bustle if the supermarketer is both not a clatter and a bustle. sent6: if something that is a kind of a Federal does refer Appalachians it does not clatter. sent7: something transfers souse and/or is a Federal. sent8: the supermarketer is a clatter and it does bustle. sent9: the supermarketer is a clatter. ; $proof$ = 
sent8 -> int1: the supermarketer is a bustle.; sent7 & sent2 -> int2: the supermarketer transfers souse.; int1 & int2 -> hypothesis; __PROVED__