the banquette sequences wish.
sent1: if something is a stomach then it quarters Loafer and does not sequence wish. sent2: the banquette quarters Loafer if it does stomach. sent3: the banquette is a stomach and does reunify squash. sent4: that the banquette quarters Loafer hold. sent5: there is something such that it does quarter Loafer. sent6: if something quarters Loafer the squash does sequence wish and/or it approves. sent7: the tuckahoe is a stomach. sent8: the banquette reunifies squash. sent9: if that something is a kind of a stomach is not false it does quarter Loafer.
sent3 -> int1: the fact that the banquette is a stomach hold.; sent1 -> int2: if the banquette stomachs it quarters Loafer and it does not sequence wish.; int1 & int2 -> int3: the banquette quarters Loafer and does not sequence wish.; int3 -> hypothesis;
the banquette approves and it does conduct.
sent5 & sent6 -> int4: the squash does sequence wish or it approves or both.;
$hypothesis$ = the banquette sequences wish. ; $context$ = sent1: if something is a stomach then it quarters Loafer and does not sequence wish. sent2: the banquette quarters Loafer if it does stomach. sent3: the banquette is a stomach and does reunify squash. sent4: that the banquette quarters Loafer hold. sent5: there is something such that it does quarter Loafer. sent6: if something quarters Loafer the squash does sequence wish and/or it approves. sent7: the tuckahoe is a stomach. sent8: the banquette reunifies squash. sent9: if that something is a kind of a stomach is not false it does quarter Loafer. ; $proof$ = 
sent3 -> int1: the fact that the banquette is a stomach hold.; sent1 -> int2: if the banquette stomachs it quarters Loafer and it does not sequence wish.; int1 & int2 -> int3: the banquette quarters Loafer and does not sequence wish.; int3 -> hypothesis; __DISPROVED__