the lighterman fragments snorter.
sent1: that the fact that something is both not an arbitration and an alexia is right does not hold if it is not noncombinative. sent2: the lighterman does not outflank fit and splats seek. sent3: the lighterman fragments snorter if the taster is both not a staffer and a synonym. sent4: the fact that the Scribe is not geothermal and not a helleborine is not correct. sent5: the fact that the taster is a staffer and it is a synonym does not hold. sent6: the neuroepithelium fragments snorter. sent7: something is not noncombinative but undimmed if the fact that it does not outflank marriage is not false. sent8: if the alarmist is not noncombinative then the taster is a kind of an alexia that is not an arbitration. sent9: the alarmist is not noncombinative if the centrifugation is noncombinative thing that does not dim. sent10: there exists something such that it does not outflank marriage. sent11: if the alarmist is an alexia the centrifugation is both not an arbitration and an alexia. sent12: if something is a kind of a cameo then it does not outflank marriage. sent13: that the alarmist is an alexia hold if the fact that the taster is both not a staffer and a synonym is wrong.
void -> assump1: Let's assume that that that the taster is not a staffer but it is a synonym is true is wrong.; sent13 & assump1 -> int1: the alarmist is an alexia.; int1 & sent11 -> int2: the centrifugation is not an arbitration and is a kind of an alexia.; sent1 -> int3: if that the centrifugation is not noncombinative is not false then that it is not a kind of an arbitration and it is a kind of an alexia is not right.;
the lighterman does not fragment snorter.
sent7 -> int4: if the centrifugation does not outflank marriage then it is combinative thing that does not dim.; sent12 -> int5: the centrifugation does not outflank marriage if it is a cameo.; sent4 -> int6: there is something such that that it is not geothermal and not a helleborine is not right.;
$hypothesis$ = the lighterman fragments snorter. ; $context$ = sent1: that the fact that something is both not an arbitration and an alexia is right does not hold if it is not noncombinative. sent2: the lighterman does not outflank fit and splats seek. sent3: the lighterman fragments snorter if the taster is both not a staffer and a synonym. sent4: the fact that the Scribe is not geothermal and not a helleborine is not correct. sent5: the fact that the taster is a staffer and it is a synonym does not hold. sent6: the neuroepithelium fragments snorter. sent7: something is not noncombinative but undimmed if the fact that it does not outflank marriage is not false. sent8: if the alarmist is not noncombinative then the taster is a kind of an alexia that is not an arbitration. sent9: the alarmist is not noncombinative if the centrifugation is noncombinative thing that does not dim. sent10: there exists something such that it does not outflank marriage. sent11: if the alarmist is an alexia the centrifugation is both not an arbitration and an alexia. sent12: if something is a kind of a cameo then it does not outflank marriage. sent13: that the alarmist is an alexia hold if the fact that the taster is both not a staffer and a synonym is wrong. ; $proof$ = 
void -> assump1: Let's assume that that that the taster is not a staffer but it is a synonym is true is wrong.; sent13 & assump1 -> int1: the alarmist is an alexia.; int1 & sent11 -> int2: the centrifugation is not an arbitration and is a kind of an alexia.; sent1 -> int3: if that the centrifugation is not noncombinative is not false then that it is not a kind of an arbitration and it is a kind of an alexia is not right.; __UNKNOWN__