the cusk is a Delphi.
sent1: if there is something such that the fact that it does not peg bluethroat and is not a kind of a Alexandrian does not hold then the pleurocarp does not grow. sent2: if the alsatian does not eventuate and/or is Wilsonian the cusk is not a kind of a Pitman. sent3: the cusk is not a flesh. sent4: there is something such that that it does not peg bluethroat and is not Alexandrian is not correct. sent5: there exists something such that the fact that it does not peg bluethroat and is a Alexandrian is not correct. sent6: the alsatian does eventuate and/or it is Wilsonian. sent7: there exists something such that it does not peg bluethroat and it is not a kind of a Alexandrian. sent8: the alsatian does not eventuate or is Wilsonian or both if the pleurocarp eventuate. sent9: the cusk is not atrophic and it is not a flesh. sent10: the fact that something is not a Pitman and is a Delphi is not correct if it is not atrophic. sent11: if something does not grow it eventuates.
sent4 & sent1 -> int1: the pleurocarp does not grow.; sent11 -> int2: the pleurocarp eventuates if it does not grow.; int1 & int2 -> int3: the pleurocarp eventuates.; int3 & sent8 -> int4: the alsatian does not eventuate and/or is Wilsonian.; int4 & sent2 -> int5: the cusk is not a Pitman.; void -> assump1: Let's assume that the cusk is a Delphi.; int5 & assump1 -> int6: the cusk is not a kind of a Pitman and is a Delphi.; sent10 -> int7: the fact that the cusk is not a Pitman but it is a Delphi does not hold if it is not atrophic.; sent9 -> int8: the cusk is not atrophic.; int7 & int8 -> int9: the fact that the cusk is both not a Pitman and a Delphi is not correct.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the cusk is a Delphi. ; $context$ = sent1: if there is something such that the fact that it does not peg bluethroat and is not a kind of a Alexandrian does not hold then the pleurocarp does not grow. sent2: if the alsatian does not eventuate and/or is Wilsonian the cusk is not a kind of a Pitman. sent3: the cusk is not a flesh. sent4: there is something such that that it does not peg bluethroat and is not Alexandrian is not correct. sent5: there exists something such that the fact that it does not peg bluethroat and is a Alexandrian is not correct. sent6: the alsatian does eventuate and/or it is Wilsonian. sent7: there exists something such that it does not peg bluethroat and it is not a kind of a Alexandrian. sent8: the alsatian does not eventuate or is Wilsonian or both if the pleurocarp eventuate. sent9: the cusk is not atrophic and it is not a flesh. sent10: the fact that something is not a Pitman and is a Delphi is not correct if it is not atrophic. sent11: if something does not grow it eventuates. ; $proof$ = 
sent4 & sent1 -> int1: the pleurocarp does not grow.; sent11 -> int2: the pleurocarp eventuates if it does not grow.; int1 & int2 -> int3: the pleurocarp eventuates.; int3 & sent8 -> int4: the alsatian does not eventuate and/or is Wilsonian.; int4 & sent2 -> int5: the cusk is not a Pitman.; void -> assump1: Let's assume that the cusk is a Delphi.; int5 & assump1 -> int6: the cusk is not a kind of a Pitman and is a Delphi.; sent10 -> int7: the fact that the cusk is not a Pitman but it is a Delphi does not hold if it is not atrophic.; sent9 -> int8: the cusk is not atrophic.; int7 & int8 -> int9: the fact that the cusk is both not a Pitman and a Delphi is not correct.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__