the butte is unshod and not a countenance.
sent1: the Warner is a Chilean if the submarine rekindles dunker. sent2: the submarine does rekindle dunker if it is both not lexicostatistics and a sirrah. sent3: if something that is Chilean is a countenance the genet does not strain Hitler. sent4: the submarine is not lexicostatistics but it is a kind of a sirrah. sent5: if the Warner is oaten then it is not meteorologic or it is unshod or both. sent6: if the Warner does not strain Hitler it is a kind of a countenance and it does not rekindle dunker. sent7: if something is unshod then it does not strain Hitler and does not rekindle wicket-keeper. sent8: if a countenance does not rekindle dunker the submarine is a kind of a Chilean. sent9: the Warner is oaten and it does alibi silicle. sent10: a non-oaten thing is not meteorologic and rekindles wicket-keeper. sent11: the saber is not oaten. sent12: the fact that the genet does strain Hitler hold if the saber is not meteorologic but it does rekindle wicket-keeper. sent13: the fact that that the butte is unshod but it is not a countenance does not hold is not false if the fact that the Warner is not a countenance is not incorrect.
sent2 & sent4 -> int1: the submarine rekindles dunker.; int1 & sent1 -> int2: the Warner is a Chilean.; void -> assump1: Let's assume that the Warner is a kind of a countenance.; int2 & assump1 -> int3: the Warner is both Chilean and a countenance.; int3 -> int4: there exists something such that it is both Chilean and a countenance.; int4 & sent3 -> int5: the genet does not strain Hitler.; sent10 -> int6: the saber is non-meteorologic thing that rekindles wicket-keeper if it is not oaten.; int6 & sent11 -> int7: the saber is not meteorologic but it rekindles wicket-keeper.; sent12 & int7 -> int8: the genet does strain Hitler.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Warner is not a countenance.; int10 & sent13 -> hypothesis;
the submarine is a Chilean.
sent7 -> int11: the Warner does not strain Hitler and it does not rekindle wicket-keeper if it is unshod.; sent9 -> int12: the Warner is oaten.; sent5 & int12 -> int13: the Warner either is not meteorologic or is unshod or both.;
$hypothesis$ = the butte is unshod and not a countenance. ; $context$ = sent1: the Warner is a Chilean if the submarine rekindles dunker. sent2: the submarine does rekindle dunker if it is both not lexicostatistics and a sirrah. sent3: if something that is Chilean is a countenance the genet does not strain Hitler. sent4: the submarine is not lexicostatistics but it is a kind of a sirrah. sent5: if the Warner is oaten then it is not meteorologic or it is unshod or both. sent6: if the Warner does not strain Hitler it is a kind of a countenance and it does not rekindle dunker. sent7: if something is unshod then it does not strain Hitler and does not rekindle wicket-keeper. sent8: if a countenance does not rekindle dunker the submarine is a kind of a Chilean. sent9: the Warner is oaten and it does alibi silicle. sent10: a non-oaten thing is not meteorologic and rekindles wicket-keeper. sent11: the saber is not oaten. sent12: the fact that the genet does strain Hitler hold if the saber is not meteorologic but it does rekindle wicket-keeper. sent13: the fact that that the butte is unshod but it is not a countenance does not hold is not false if the fact that the Warner is not a countenance is not incorrect. ; $proof$ = 
sent2 & sent4 -> int1: the submarine rekindles dunker.; int1 & sent1 -> int2: the Warner is a Chilean.; void -> assump1: Let's assume that the Warner is a kind of a countenance.; int2 & assump1 -> int3: the Warner is both Chilean and a countenance.; int3 -> int4: there exists something such that it is both Chilean and a countenance.; int4 & sent3 -> int5: the genet does not strain Hitler.; sent10 -> int6: the saber is non-meteorologic thing that rekindles wicket-keeper if it is not oaten.; int6 & sent11 -> int7: the saber is not meteorologic but it rekindles wicket-keeper.; sent12 & int7 -> int8: the genet does strain Hitler.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Warner is not a countenance.; int10 & sent13 -> hypothesis; __DISPROVED__