that if the dynamiter is not a Sitophylus the maillot is both not a watercourse and a phial is not correct.
sent1: the maillot is a kind of a phial if that the hogfish is not a phial is right. sent2: the dynamiter is a Sitophylus if the hogfish is a phial. sent3: if the dynamiter is not a Sitophylus the maillot is a watercourse and is a kind of a phial. sent4: the dynamiter is a watercourse if the maillot is not a Sitophylus. sent5: the hogfish is not a watercourse and is a phial if the maillot is not a Sitophylus. sent6: if the fact that the hogfish is not a watercourse is true then the maillot is not a Sitophylus but a phial. sent7: if that the dynamiter is not a kind of a Sitophylus hold then the maillot is a kind of a phial. sent8: the hogfish is a kind of a Sitophylus. sent9: the thorax is not a phial. sent10: the maillot is a watercourse and a phial. sent11: the knee is not a phial. sent12: the loin is not a watercourse if the hogfish is not a watercourse but it is a phial. sent13: if the hogfish is not a phial then the maillot is not a watercourse but it is a kind of a phial. sent14: the hogfish is a watercourse. sent15: the dynamiter is not a phial. sent16: the maillot is a phial. sent17: the scarab is a watercourse. sent18: if the fact that the hogfish is not a phial is not wrong the maillot is a watercourse and it is a phial. sent19: the maillot is both a Sitophylus and a watercourse if the dynamiter is not a kind of a phial.
void -> assump2: Let's assume that the hogfish is a phial.; sent2 & assump2 -> int1: the dynamiter is a Sitophylus.; void -> assump1: Let's assume that the dynamiter is not a kind of a Sitophylus.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hogfish is not a phial.; int3 & sent13 -> int4: the maillot is not a watercourse but it is a kind of a phial.; [assump1] & int4 -> hypothesis;
the loin is not a kind of a watercourse.
$hypothesis$ = that if the dynamiter is not a Sitophylus the maillot is both not a watercourse and a phial is not correct. ; $context$ = sent1: the maillot is a kind of a phial if that the hogfish is not a phial is right. sent2: the dynamiter is a Sitophylus if the hogfish is a phial. sent3: if the dynamiter is not a Sitophylus the maillot is a watercourse and is a kind of a phial. sent4: the dynamiter is a watercourse if the maillot is not a Sitophylus. sent5: the hogfish is not a watercourse and is a phial if the maillot is not a Sitophylus. sent6: if the fact that the hogfish is not a watercourse is true then the maillot is not a Sitophylus but a phial. sent7: if that the dynamiter is not a kind of a Sitophylus hold then the maillot is a kind of a phial. sent8: the hogfish is a kind of a Sitophylus. sent9: the thorax is not a phial. sent10: the maillot is a watercourse and a phial. sent11: the knee is not a phial. sent12: the loin is not a watercourse if the hogfish is not a watercourse but it is a phial. sent13: if the hogfish is not a phial then the maillot is not a watercourse but it is a kind of a phial. sent14: the hogfish is a watercourse. sent15: the dynamiter is not a phial. sent16: the maillot is a phial. sent17: the scarab is a watercourse. sent18: if the fact that the hogfish is not a phial is not wrong the maillot is a watercourse and it is a phial. sent19: the maillot is both a Sitophylus and a watercourse if the dynamiter is not a kind of a phial. ; $proof$ = 
void -> assump2: Let's assume that the hogfish is a phial.; sent2 & assump2 -> int1: the dynamiter is a Sitophylus.; void -> assump1: Let's assume that the dynamiter is not a kind of a Sitophylus.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hogfish is not a phial.; int3 & sent13 -> int4: the maillot is not a watercourse but it is a kind of a phial.; [assump1] & int4 -> hypothesis; __DISPROVED__