the have-not is a kind of a gypsum.
sent1: if there exists something such that it does repress kicker the Continent is a boatbill and is imperfect. sent2: that the starship is not a boatbill but Malay is not correct. sent3: the bottleneck exceeds and it is a kind of a simian. sent4: that the starship is not a boatbill and excretes Devonian is not true. sent5: everything represses kicker. sent6: the have-not is both not a fireman and a graduality if the knockabout is not a fireman. sent7: that the starship is unilateral is not correct if that the palmetto is non-Malay and/or is not a graduality is not correct. sent8: the fact that the bottleneck does not exceed and is not a simian does not hold if the shrublet does not excrete Devonian. sent9: if something is not unilateral then the fact that the knockabout is not a fireman but it excretes Devonian is not true. sent10: the fact that the shrublet is a kind of a Malay is not wrong if that the starship is not a boatbill and is a Malay is incorrect. sent11: the shrublet is not unilateral if the bottleneck is a simian and excretes Devonian. sent12: the knockabout is not a fireman if the bottleneck does not excrete Devonian. sent13: the shrublet does not excrete Devonian if that the knockabout is not a fireman but it excrete Devonian is not right. sent14: the fact that the palmetto is not Malay and/or it is not a graduality is incorrect if the Continent is imperfect. sent15: the fact that the starship is a boatbill and it is not non-Malay is false. sent16: the shrublet is a kind of a fireman. sent17: that the shrublet is unilateral is correct if it is Malay. sent18: the fact that the have-not is a gypsum is correct if it is not a fireman and is a graduality.
sent3 -> int1: the fact that the bottleneck is a simian is not false.; void -> assump1: Let's assume that the bottleneck does excrete Devonian.; int1 & assump1 -> int2: the bottleneck is a simian and it excretes Devonian.; int2 & sent11 -> int3: the shrublet is not unilateral.; sent10 & sent2 -> int4: the shrublet is Malay.; sent17 & int4 -> int5: the shrublet is unilateral.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bottleneck does not excrete Devonian.; int7 & sent12 -> int8: the knockabout is not a fireman.; int8 & sent6 -> int9: the have-not is not a fireman but it is a kind of a graduality.; int9 & sent18 -> hypothesis;
the have-not is not a gypsum.
sent5 -> int10: the dissolving represses kicker.; int10 -> int11: there exists something such that it does repress kicker.; int11 & sent1 -> int12: the Continent is a boatbill and imperfect.; int12 -> int13: the Continent is imperfect.; sent14 & int13 -> int14: that the palmetto is not Malay and/or is not a kind of a graduality is not true.; sent7 & int14 -> int15: the starship is not unilateral.; int15 -> int16: there exists something such that it is not unilateral.; int16 & sent9 -> int17: the fact that the knockabout is not a kind of a fireman but it excretes Devonian is false.; sent13 & int17 -> int18: the fact that the shrublet does not excrete Devonian is not incorrect.; sent8 & int18 -> int19: the fact that the bottleneck does not exceed and is not a simian does not hold.; int19 -> int20: there exists something such that the fact that it does not exceed and it is non-simian is not true.;
$hypothesis$ = the have-not is a kind of a gypsum. ; $context$ = sent1: if there exists something such that it does repress kicker the Continent is a boatbill and is imperfect. sent2: that the starship is not a boatbill but Malay is not correct. sent3: the bottleneck exceeds and it is a kind of a simian. sent4: that the starship is not a boatbill and excretes Devonian is not true. sent5: everything represses kicker. sent6: the have-not is both not a fireman and a graduality if the knockabout is not a fireman. sent7: that the starship is unilateral is not correct if that the palmetto is non-Malay and/or is not a graduality is not correct. sent8: the fact that the bottleneck does not exceed and is not a simian does not hold if the shrublet does not excrete Devonian. sent9: if something is not unilateral then the fact that the knockabout is not a fireman but it excretes Devonian is not true. sent10: the fact that the shrublet is a kind of a Malay is not wrong if that the starship is not a boatbill and is a Malay is incorrect. sent11: the shrublet is not unilateral if the bottleneck is a simian and excretes Devonian. sent12: the knockabout is not a fireman if the bottleneck does not excrete Devonian. sent13: the shrublet does not excrete Devonian if that the knockabout is not a fireman but it excrete Devonian is not right. sent14: the fact that the palmetto is not Malay and/or it is not a graduality is incorrect if the Continent is imperfect. sent15: the fact that the starship is a boatbill and it is not non-Malay is false. sent16: the shrublet is a kind of a fireman. sent17: that the shrublet is unilateral is correct if it is Malay. sent18: the fact that the have-not is a gypsum is correct if it is not a fireman and is a graduality. ; $proof$ = 
sent3 -> int1: the fact that the bottleneck is a simian is not false.; void -> assump1: Let's assume that the bottleneck does excrete Devonian.; int1 & assump1 -> int2: the bottleneck is a simian and it excretes Devonian.; int2 & sent11 -> int3: the shrublet is not unilateral.; sent10 & sent2 -> int4: the shrublet is Malay.; sent17 & int4 -> int5: the shrublet is unilateral.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bottleneck does not excrete Devonian.; int7 & sent12 -> int8: the knockabout is not a fireman.; int8 & sent6 -> int9: the have-not is not a fireman but it is a kind of a graduality.; int9 & sent18 -> hypothesis; __PROVED__