the frivolity is not a kind of a Plymouth and it is not ipsilateral.
sent1: something does not telecast if it does not cloister Biscutella. sent2: if there are courteous things the frivolity is not a Plymouth and not ipsilateral. sent3: The fact that the silenced sermonizes maple is right. sent4: if that the forget-me-not is both a sheika and a telecast is not right the sorehead is not discourteous. sent5: if the maple is both not argumentative and courteous then the decline does not cloister Biscutella. sent6: if there exists something such that it is courteous the frivolity is not a Plymouth. sent7: the maple does not peregrinate. sent8: there exists something such that it is discourteous. sent9: the fact that the maple sermonizes silenced is right. sent10: the fact that the forget-me-not is a sheika and is a kind of a telecast is not right if the decline is not a telecast. sent11: the maple is not argumentative if it sermonizes silenced. sent12: if the frivolity does sermonize silenced that it is not a kind of a Plymouth and it is not ipsilateral is false. sent13: the sorehead is not discourteous if that the forget-me-not is not a kind of a sheika hold. sent14: the maple is not a sheika if the forget-me-not is not courteous but it is argumentative. sent15: everything is a sheika. sent16: the maple is not argumentative but it is courteous if it sermonizes silenced. sent17: the maple is not argumentative. sent18: the sorehead does not sermonize silenced.
sent16 & sent9 -> int1: the maple is not argumentative and is courteous.; int1 & sent5 -> int2: that the decline does not cloister Biscutella is right.; sent1 -> int3: if the decline does not cloister Biscutella it is not a kind of a telecast.; int2 & int3 -> int4: the decline does not telecast.; int4 & sent10 -> int5: the fact that the fact that the forget-me-not is both a sheika and a telecast is wrong is not wrong.; int5 & sent4 -> int6: the sorehead is not discourteous.; int6 -> int7: there is something such that it is not discourteous.; int7 & sent2 -> hypothesis;
the fact that the fact that the frivolity is not a Plymouth and not ipsilateral is correct is false.
sent15 -> int8: the maple is a sheika.;
$hypothesis$ = the frivolity is not a kind of a Plymouth and it is not ipsilateral. ; $context$ = sent1: something does not telecast if it does not cloister Biscutella. sent2: if there are courteous things the frivolity is not a Plymouth and not ipsilateral. sent3: The fact that the silenced sermonizes maple is right. sent4: if that the forget-me-not is both a sheika and a telecast is not right the sorehead is not discourteous. sent5: if the maple is both not argumentative and courteous then the decline does not cloister Biscutella. sent6: if there exists something such that it is courteous the frivolity is not a Plymouth. sent7: the maple does not peregrinate. sent8: there exists something such that it is discourteous. sent9: the fact that the maple sermonizes silenced is right. sent10: the fact that the forget-me-not is a sheika and is a kind of a telecast is not right if the decline is not a telecast. sent11: the maple is not argumentative if it sermonizes silenced. sent12: if the frivolity does sermonize silenced that it is not a kind of a Plymouth and it is not ipsilateral is false. sent13: the sorehead is not discourteous if that the forget-me-not is not a kind of a sheika hold. sent14: the maple is not a sheika if the forget-me-not is not courteous but it is argumentative. sent15: everything is a sheika. sent16: the maple is not argumentative but it is courteous if it sermonizes silenced. sent17: the maple is not argumentative. sent18: the sorehead does not sermonize silenced. ; $proof$ = 
sent16 & sent9 -> int1: the maple is not argumentative and is courteous.; int1 & sent5 -> int2: that the decline does not cloister Biscutella is right.; sent1 -> int3: if the decline does not cloister Biscutella it is not a kind of a telecast.; int2 & int3 -> int4: the decline does not telecast.; int4 & sent10 -> int5: the fact that the fact that the forget-me-not is both a sheika and a telecast is wrong is not wrong.; int5 & sent4 -> int6: the sorehead is not discourteous.; int6 -> int7: there is something such that it is not discourteous.; int7 & sent2 -> hypothesis; __PROVED__