the fact that the fact that the Laconian intervenes and is not a kind of a bouffant hold is not true.
sent1: the Laconian is a amrinone. sent2: that the Laconian is bimetallistic is not wrong. sent3: the periosteum is extragalactic but it is not carbocyclic. sent4: if the Laconian is bimetallistic then the fact that it does intervene hold. sent5: the slick is not shockable if it is a khimar and it is not extragalactic. sent6: the Laconian is extragalactic. sent7: there exists something such that the fact that it is not wifely and it is a khimar does not hold. sent8: the fact that the Laconian yodels jacksnipe hold if there is something such that the fact that it does not intervene and it is not a kind of a Tuscan is not right. sent9: if something is wifely the Laconian is extragalactic. sent10: the Laconian is not extragalactic if it is wifely and/or is shockable. sent11: the Laconian is a kind of a Wellington if there exists something such that that it is not a kind of a Aryan and it is not abstemious is wrong. sent12: the jacksnipe does intervene. sent13: if something is a khimar and it is a kind of a Wellington then it is not a kind of a bouffant. sent14: there exists something such that the fact that it does not secede and it is not a kind of a semifluidity does not hold. sent15: there exists something such that that it is not a kind of a Aryan and it is not abstemious does not hold. sent16: the Laconian is a kind of a Delicious. sent17: if something is not shockable it is a kind of a khimar. sent18: that something is a kind of wifely thing that does intervene is incorrect if it is not shockable.
void -> assump1: Let's assume that the Laconian is shockable.; assump1 -> int1: the Laconian either is wifely or is shockable or both.; int1 & sent10 -> int2: the Laconian is not extragalactic.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Laconian is not shockable.; sent17 -> int5: the Laconian is a khimar if it is not shockable.; int4 & int5 -> int6: the Laconian is a kind of a khimar.; sent15 & sent11 -> int7: the Laconian is a kind of a Wellington.; int6 & int7 -> int8: the Laconian is a khimar and a Wellington.; sent13 -> int9: if the Laconian is a khimar and it is a Wellington then it is not a kind of a bouffant.; int8 & int9 -> int10: the Laconian is not a bouffant.; sent4 & sent2 -> int11: the Laconian does intervene.; int10 & int11 -> hypothesis;
the fact that the Laconian does intervene and is not a bouffant is not true.
sent18 -> int12: if the fact that the slick is not shockable is not false then that it is wifely and intervenes does not hold.;
$hypothesis$ = the fact that the fact that the Laconian intervenes and is not a kind of a bouffant hold is not true. ; $context$ = sent1: the Laconian is a amrinone. sent2: that the Laconian is bimetallistic is not wrong. sent3: the periosteum is extragalactic but it is not carbocyclic. sent4: if the Laconian is bimetallistic then the fact that it does intervene hold. sent5: the slick is not shockable if it is a khimar and it is not extragalactic. sent6: the Laconian is extragalactic. sent7: there exists something such that the fact that it is not wifely and it is a khimar does not hold. sent8: the fact that the Laconian yodels jacksnipe hold if there is something such that the fact that it does not intervene and it is not a kind of a Tuscan is not right. sent9: if something is wifely the Laconian is extragalactic. sent10: the Laconian is not extragalactic if it is wifely and/or is shockable. sent11: the Laconian is a kind of a Wellington if there exists something such that that it is not a kind of a Aryan and it is not abstemious is wrong. sent12: the jacksnipe does intervene. sent13: if something is a khimar and it is a kind of a Wellington then it is not a kind of a bouffant. sent14: there exists something such that the fact that it does not secede and it is not a kind of a semifluidity does not hold. sent15: there exists something such that that it is not a kind of a Aryan and it is not abstemious does not hold. sent16: the Laconian is a kind of a Delicious. sent17: if something is not shockable it is a kind of a khimar. sent18: that something is a kind of wifely thing that does intervene is incorrect if it is not shockable. ; $proof$ = 
void -> assump1: Let's assume that the Laconian is shockable.; assump1 -> int1: the Laconian either is wifely or is shockable or both.; int1 & sent10 -> int2: the Laconian is not extragalactic.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Laconian is not shockable.; sent17 -> int5: the Laconian is a khimar if it is not shockable.; int4 & int5 -> int6: the Laconian is a kind of a khimar.; sent15 & sent11 -> int7: the Laconian is a kind of a Wellington.; int6 & int7 -> int8: the Laconian is a khimar and a Wellington.; sent13 -> int9: if the Laconian is a khimar and it is a Wellington then it is not a kind of a bouffant.; int8 & int9 -> int10: the Laconian is not a bouffant.; sent4 & sent2 -> int11: the Laconian does intervene.; int10 & int11 -> hypothesis; __DISPROVED__