that something is a resourcefulness and it is anuran is false.
sent1: something is a kind of a Dipylon. sent2: there is something such that it does grate lypressin. sent3: the Moselle does not induce Pipilo. sent4: that the Moselle is anuran if something is not non-Ismaili but it is not a tune is right. sent5: if there exists something such that the fact that it does not induce Pipilo and/or it is not motional is wrong then the hobby is not a tune. sent6: there exists something such that the fact that it is a girandole is right. sent7: the fact that the wimple is not a resourcefulness is right. sent8: the hobby is Ismaili if there exists something such that it is a resourcefulness and does not undercut lallation. sent9: something is not a girandole. sent10: the hobby induces Pipilo. sent11: the Moselle is not a kind of a Ismaili if there exists something such that that it is not a resourcefulness and/or it does undercut lallation is false. sent12: if the wimple is non-Dipylon thing that is not a girandole then the Moselle is a resourcefulness. sent13: the wimple is not a Dipylon and it is not a girandole. sent14: the hobby undercuts lallation and is a resourcefulness. sent15: the hobby is a resourcefulness if the Moselle does undercut lallation but it is not anuran. sent16: there is something such that the fact that it is not a ectomorphy or it does not induce RCMP or both is not right. sent17: the hobby is a kind of Ismaili thing that undercuts lallation. sent18: there is something such that the fact that it does not induce Pipilo or is not motional or both is wrong.
sent18 & sent5 -> int1: the hobby is not a tune.; sent17 -> int2: the hobby is Ismaili.; int1 & int2 -> int3: the hobby is a Ismaili and is not a tune.; int3 -> int4: there is something such that it is a kind of Ismaili thing that does not tune.; int4 & sent4 -> int5: the Moselle is anuran.; sent12 & sent13 -> int6: the Moselle is a kind of a resourcefulness.; int5 & int6 -> int7: the Moselle is a resourcefulness and it is anuran.; int7 -> hypothesis;
$hypothesis$ = that something is a resourcefulness and it is anuran is false. ; $context$ = sent1: something is a kind of a Dipylon. sent2: there is something such that it does grate lypressin. sent3: the Moselle does not induce Pipilo. sent4: that the Moselle is anuran if something is not non-Ismaili but it is not a tune is right. sent5: if there exists something such that the fact that it does not induce Pipilo and/or it is not motional is wrong then the hobby is not a tune. sent6: there exists something such that the fact that it is a girandole is right. sent7: the fact that the wimple is not a resourcefulness is right. sent8: the hobby is Ismaili if there exists something such that it is a resourcefulness and does not undercut lallation. sent9: something is not a girandole. sent10: the hobby induces Pipilo. sent11: the Moselle is not a kind of a Ismaili if there exists something such that that it is not a resourcefulness and/or it does undercut lallation is false. sent12: if the wimple is non-Dipylon thing that is not a girandole then the Moselle is a resourcefulness. sent13: the wimple is not a Dipylon and it is not a girandole. sent14: the hobby undercuts lallation and is a resourcefulness. sent15: the hobby is a resourcefulness if the Moselle does undercut lallation but it is not anuran. sent16: there is something such that the fact that it is not a ectomorphy or it does not induce RCMP or both is not right. sent17: the hobby is a kind of Ismaili thing that undercuts lallation. sent18: there is something such that the fact that it does not induce Pipilo or is not motional or both is wrong. ; $proof$ = 
sent18 & sent5 -> int1: the hobby is not a tune.; sent17 -> int2: the hobby is Ismaili.; int1 & int2 -> int3: the hobby is a Ismaili and is not a tune.; int3 -> int4: there is something such that it is a kind of Ismaili thing that does not tune.; int4 & sent4 -> int5: the Moselle is anuran.; sent12 & sent13 -> int6: the Moselle is a kind of a resourcefulness.; int5 & int6 -> int7: the Moselle is a resourcefulness and it is anuran.; int7 -> hypothesis; __DISPROVED__