the fact that the flyspeck is a rake-off is not false.
sent1: the king is not a pistillode or it is not a patchcord or both. sent2: there exists something such that it does multiply imam. sent3: if that the Moon is not a weld and it is not a pistillode does not hold the fact that the nuthatch is not a weld is not wrong. sent4: either the chrism is not a kind of a pistillode or it is not nocturnal or both. sent5: if the bracteole does multiply imam the Moon is a kind of an explorer. sent6: the Moon is an explorer if the bracteole is a kind of an explorer. sent7: the bracteole is a pistillode if there is something such that it is an explorer. sent8: the fact that the bracteole is an explorer and/or it does multiply imam is not wrong if there exists something such that it does multiply imam. sent9: the bracteole is a kind of a patchcord if the chrism is a kind of a patchcord but it is not nocturnal. sent10: that something is both not a weld and not a pistillode is not correct if it does not multiply shrimper. sent11: if something is not a pistillode then either it is a kind of a rake-off or it does multiply shrimper or both. sent12: if the fact that the chrism is not a canine and does not multiply imam is not true the fact that it is a kind of a patchcord is not false. sent13: if there is something such that that it does not unfasten crankcase and is trinucleate is not right the Moon multiplies shrimper. sent14: the fact that the king is not a pistillode if the chrism is not a pistillode and/or it is not nocturnal is right. sent15: that something does not unfasten crankcase and is trinucleate is not right if it is not a pistillode. sent16: if the bracteole is a patchcord the Moon is a kind of an explorer but it is not a pistillode. sent17: if the king is not a pistillode the fact that it unfastens crankcase and is trinucleate is incorrect. sent18: if something that does multiply shrimper is a kind of an explorer then it is not a kind of a patchcord. sent19: the flyspeck is a rake-off if the Moon is not a kind of a patchcord.
sent15 -> int1: the fact that the king does not unfasten crankcase and is trinucleate is not right if it is not a pistillode.; sent14 & sent4 -> int2: the king is not a kind of a pistillode.; int1 & int2 -> int3: that the king does not unfasten crankcase but it is trinucleate is wrong.; int3 -> int4: there exists something such that that it does not unfasten crankcase and is trinucleate does not hold.; int4 & sent13 -> int5: the fact that the Moon multiplies shrimper hold.; sent2 & sent8 -> int6: the bracteole is an explorer and/or it does multiply imam.; int6 & sent6 & sent5 -> int7: the Moon is an explorer.; int5 & int7 -> int8: the Moon does multiply shrimper and it is a kind of an explorer.; sent18 -> int9: that the Moon is not the patchcord if the fact that the Moon multiplies shrimper and is an explorer hold is right.; int8 & int9 -> int10: the Moon is not a patchcord.; int10 & sent19 -> hypothesis;
the nuthatch is not a kind of a weld.
sent10 -> int11: the fact that the Moon is both not a weld and not a pistillode is wrong if it does not multiply shrimper.;
$hypothesis$ = the fact that the flyspeck is a rake-off is not false. ; $context$ = sent1: the king is not a pistillode or it is not a patchcord or both. sent2: there exists something such that it does multiply imam. sent3: if that the Moon is not a weld and it is not a pistillode does not hold the fact that the nuthatch is not a weld is not wrong. sent4: either the chrism is not a kind of a pistillode or it is not nocturnal or both. sent5: if the bracteole does multiply imam the Moon is a kind of an explorer. sent6: the Moon is an explorer if the bracteole is a kind of an explorer. sent7: the bracteole is a pistillode if there is something such that it is an explorer. sent8: the fact that the bracteole is an explorer and/or it does multiply imam is not wrong if there exists something such that it does multiply imam. sent9: the bracteole is a kind of a patchcord if the chrism is a kind of a patchcord but it is not nocturnal. sent10: that something is both not a weld and not a pistillode is not correct if it does not multiply shrimper. sent11: if something is not a pistillode then either it is a kind of a rake-off or it does multiply shrimper or both. sent12: if the fact that the chrism is not a canine and does not multiply imam is not true the fact that it is a kind of a patchcord is not false. sent13: if there is something such that that it does not unfasten crankcase and is trinucleate is not right the Moon multiplies shrimper. sent14: the fact that the king is not a pistillode if the chrism is not a pistillode and/or it is not nocturnal is right. sent15: that something does not unfasten crankcase and is trinucleate is not right if it is not a pistillode. sent16: if the bracteole is a patchcord the Moon is a kind of an explorer but it is not a pistillode. sent17: if the king is not a pistillode the fact that it unfastens crankcase and is trinucleate is incorrect. sent18: if something that does multiply shrimper is a kind of an explorer then it is not a kind of a patchcord. sent19: the flyspeck is a rake-off if the Moon is not a kind of a patchcord. ; $proof$ = 
sent15 -> int1: the fact that the king does not unfasten crankcase and is trinucleate is not right if it is not a pistillode.; sent14 & sent4 -> int2: the king is not a kind of a pistillode.; int1 & int2 -> int3: that the king does not unfasten crankcase but it is trinucleate is wrong.; int3 -> int4: there exists something such that that it does not unfasten crankcase and is trinucleate does not hold.; int4 & sent13 -> int5: the fact that the Moon multiplies shrimper hold.; sent2 & sent8 -> int6: the bracteole is an explorer and/or it does multiply imam.; int6 & sent6 & sent5 -> int7: the Moon is an explorer.; int5 & int7 -> int8: the Moon does multiply shrimper and it is a kind of an explorer.; sent18 -> int9: that the Moon is not the patchcord if the fact that the Moon multiplies shrimper and is an explorer hold is right.; int8 & int9 -> int10: the Moon is not a patchcord.; int10 & sent19 -> hypothesis; __PROVED__