the drainplug is not a freight and does not settle Wilson.
sent1: that the samisen does not buy and it is not umbelliferous is not true. sent2: something is a freight. sent3: that the drainplug does not freight but it does settle Wilson is not true if something pant-hoots. sent4: if the Lhasa is a Nome then the samisen does pant-hoot. sent5: the fact that the drainplug is not a freight but it does settle Wilson is not true. sent6: the samisen freights if the drainplug does pant-hoot. sent7: that the hemiacetal is a kris is not wrong. sent8: that the samisen does not pant-hoot and it is not a kind of a cordgrass does not hold. sent9: if something pant-hoots then that the drainplug is not a freight and does not settle Wilson is not correct. sent10: if something pant-hoots then that the drainplug does freight and does not settle Wilson does not hold. sent11: that the drainplug does freight and does not settle Wilson is not right. sent12: if something does pant-hoot the fact that the samisen does not settle Wilson and is not a Nome is wrong. sent13: something does settle Wilson. sent14: if the Lhasa is a freight the drainplug is a Nome. sent15: the drainplug settles samisen. sent16: the fact that the drainplug is not a kind of a freight and it is not a Nome is wrong. sent17: the fact that the Lhasa does not settle Wilson and it does not freight is false if something is a Nome. sent18: the Lhasa is a Nome. sent19: the Lhasa is a succubus. sent20: the samisen settles Wilson. sent21: that the drainplug does not settle Wilson and it is not a kind of a Nome is not right if there is something such that it does pant-hoot.
sent4 & sent18 -> int1: the samisen does pant-hoot.; int1 -> int2: there exists something such that it pant-hoots.; int2 & sent9 -> hypothesis;
$hypothesis$ = the drainplug is not a freight and does not settle Wilson. ; $context$ = sent1: that the samisen does not buy and it is not umbelliferous is not true. sent2: something is a freight. sent3: that the drainplug does not freight but it does settle Wilson is not true if something pant-hoots. sent4: if the Lhasa is a Nome then the samisen does pant-hoot. sent5: the fact that the drainplug is not a freight but it does settle Wilson is not true. sent6: the samisen freights if the drainplug does pant-hoot. sent7: that the hemiacetal is a kris is not wrong. sent8: that the samisen does not pant-hoot and it is not a kind of a cordgrass does not hold. sent9: if something pant-hoots then that the drainplug is not a freight and does not settle Wilson is not correct. sent10: if something pant-hoots then that the drainplug does freight and does not settle Wilson does not hold. sent11: that the drainplug does freight and does not settle Wilson is not right. sent12: if something does pant-hoot the fact that the samisen does not settle Wilson and is not a Nome is wrong. sent13: something does settle Wilson. sent14: if the Lhasa is a freight the drainplug is a Nome. sent15: the drainplug settles samisen. sent16: the fact that the drainplug is not a kind of a freight and it is not a Nome is wrong. sent17: the fact that the Lhasa does not settle Wilson and it does not freight is false if something is a Nome. sent18: the Lhasa is a Nome. sent19: the Lhasa is a succubus. sent20: the samisen settles Wilson. sent21: that the drainplug does not settle Wilson and it is not a kind of a Nome is not right if there is something such that it does pant-hoot. ; $proof$ = 
sent4 & sent18 -> int1: the samisen does pant-hoot.; int1 -> int2: there exists something such that it pant-hoots.; int2 & sent9 -> hypothesis; __DISPROVED__