the Etruscan is an outfitted but it is not a molar.
sent1: something does segregate AAS and it does flock Lakeland. sent2: the fact that something is an outfitted but it is not a kind of a molar does not hold if it is not acquisitive. sent3: the coward is unacquisitive if there exists something such that it does not segregate AAS and it does flock Lakeland. sent4: the fact that something does not flock Etruscan is right if it is not acquisitive. sent5: the Etruscan is not molar. sent6: the Etruscan is not molar if that there exists something such that it does not flock Etruscan is not wrong. sent7: something does not segregate AAS and flocks Lakeland. sent8: the Etruscan is an outfitted but it is not a kind of a molar if something does not flock Etruscan.
sent7 & sent3 -> int1: the coward is not acquisitive.; sent4 -> int2: if the coward is not acquisitive it does not flock Etruscan.; int1 & int2 -> int3: the coward does not flock Etruscan.; int3 -> int4: there is something such that it does not flock Etruscan.; int4 & sent8 -> hypothesis;
the fact that the Etruscan is a kind of an outfitted but it is not a molar is wrong.
sent2 -> int5: that the Etruscan is an outfitted that is not a molar is incorrect if it is not acquisitive.;
$hypothesis$ = the Etruscan is an outfitted but it is not a molar. ; $context$ = sent1: something does segregate AAS and it does flock Lakeland. sent2: the fact that something is an outfitted but it is not a kind of a molar does not hold if it is not acquisitive. sent3: the coward is unacquisitive if there exists something such that it does not segregate AAS and it does flock Lakeland. sent4: the fact that something does not flock Etruscan is right if it is not acquisitive. sent5: the Etruscan is not molar. sent6: the Etruscan is not molar if that there exists something such that it does not flock Etruscan is not wrong. sent7: something does not segregate AAS and flocks Lakeland. sent8: the Etruscan is an outfitted but it is not a kind of a molar if something does not flock Etruscan. ; $proof$ = 
sent7 & sent3 -> int1: the coward is not acquisitive.; sent4 -> int2: if the coward is not acquisitive it does not flock Etruscan.; int1 & int2 -> int3: the coward does not flock Etruscan.; int3 -> int4: there is something such that it does not flock Etruscan.; int4 & sent8 -> hypothesis; __PROVED__