the fact that the Goth overturns Mohave and does not overturn Moloch is not right.
sent1: the sternum is sigmoid but it does not group undertide. sent2: the Goth does not overturn Moloch. sent3: if the Goth is a kind of an expedient then it does overturn Mohave and does not overturn Moloch. sent4: something does not overturn Moloch and is a kind of a terminal if it is not a aneurysm. sent5: the trip is a manure. sent6: the Goth is painless. sent7: the fact that the trip does overturn Moloch hold if the sternum does not overturn Moloch but it is a terminal. sent8: if the Goth is a Kline it is not inexpedient. sent9: that the chantry is a kind of an expedient that is a Kline is right if there exists something such that it overturns Mohave. sent10: the Goth is a Kline. sent11: the Goth does not overturn Moloch if it is an expedient. sent12: if the trip is a kind of a manure it does pour Esaki and does not barbarize broth. sent13: if the sternum is sigmoid but it does not group undertide the fact that it is a aneurysm is false. sent14: the trip is not an expedient but it does barbarize broth if the sternum is not terminal. sent15: if the shoebox is a kind of a Kline then it is a kind of a Lubavitcher and it is not a filefish. sent16: if something that is not a kind of an expedient does not pour Esaki then it is a Kline.
sent8 & sent10 -> int1: the Goth is expedient.; int1 & sent3 -> hypothesis;
that the Goth does overturn Mohave and does not overturn Moloch is wrong.
sent16 -> int2: if the trip is not expedient and it does not pour Esaki then it is a kind of a Kline.;
$hypothesis$ = the fact that the Goth overturns Mohave and does not overturn Moloch is not right. ; $context$ = sent1: the sternum is sigmoid but it does not group undertide. sent2: the Goth does not overturn Moloch. sent3: if the Goth is a kind of an expedient then it does overturn Mohave and does not overturn Moloch. sent4: something does not overturn Moloch and is a kind of a terminal if it is not a aneurysm. sent5: the trip is a manure. sent6: the Goth is painless. sent7: the fact that the trip does overturn Moloch hold if the sternum does not overturn Moloch but it is a terminal. sent8: if the Goth is a Kline it is not inexpedient. sent9: that the chantry is a kind of an expedient that is a Kline is right if there exists something such that it overturns Mohave. sent10: the Goth is a Kline. sent11: the Goth does not overturn Moloch if it is an expedient. sent12: if the trip is a kind of a manure it does pour Esaki and does not barbarize broth. sent13: if the sternum is sigmoid but it does not group undertide the fact that it is a aneurysm is false. sent14: the trip is not an expedient but it does barbarize broth if the sternum is not terminal. sent15: if the shoebox is a kind of a Kline then it is a kind of a Lubavitcher and it is not a filefish. sent16: if something that is not a kind of an expedient does not pour Esaki then it is a Kline. ; $proof$ = 
sent8 & sent10 -> int1: the Goth is expedient.; int1 & sent3 -> hypothesis; __DISPROVED__