the dhal is not a Gordimer.
sent1: The cellulosic does ensky cellulosic. sent2: that something is a kind of a AMP that does ensky cellulosic does not hold if it is not a ripple. sent3: if there are pregnant things the takeaway ripples but it is not a phyllo. sent4: if the takeaway is a ripple but it is not a phyllo the gregarine is not a kind of a ripple. sent5: there exists something such that that it feeds minicar and is a gong is not right. sent6: a non-prewar thing is not a AMP and is a Gordimer. sent7: if the cellulosic is a gomphothere but it does not disrupt the dhal is not prewar. sent8: the cellulosic is a gomphothere but it does not disrupt if it enskies cellulosic. sent9: if the fact that the cellulosic is prewar and it is a kind of a Gordimer does not hold the dhal is not a Gordimer. sent10: if the cellulosic enskies cellulosic then it is a kind of a gomphothere. sent11: a non-allergic thing is pregnant. sent12: if there is something such that the fact that it is a kind of a AMP that does ensky cellulosic is incorrect the indexer is not a Gordimer. sent13: the cellulosic does ensky cellulosic. sent14: if there exists something such that the fact that it does feed minicar and is a gong is wrong then the fact that the leaven is not allergic is not incorrect.
sent8 & sent13 -> int1: the cellulosic is a gomphothere but it does not disrupt.; int1 & sent7 -> int2: that the dhal is not prewar hold.; sent6 -> int3: that the dhal is both not a AMP and a Gordimer is not incorrect if it is not prewar.; int2 & int3 -> int4: the dhal is not a kind of a AMP but it is a kind of a Gordimer.; int4 -> hypothesis;
the dhal is not a Gordimer.
sent2 -> int5: the fact that the gregarine is a AMP and it enskies cellulosic is not true if it does not ripple.; sent11 -> int6: the leaven is not nonpregnant if it is not allergic.; sent5 & sent14 -> int7: the leaven is not allergic.; int6 & int7 -> int8: the leaven is pregnant.; int8 -> int9: something is pregnant.; int9 & sent3 -> int10: the takeaway is a kind of a ripple that is not a phyllo.; sent4 & int10 -> int11: the gregarine is not a ripple.; int5 & int11 -> int12: that the gregarine is a kind of a AMP and enskies cellulosic is not right.; int12 -> int13: there exists something such that the fact that the fact that it is a AMP that enskies cellulosic hold is wrong.; int13 & sent12 -> int14: the indexer is not a Gordimer.; int14 -> int15: there exists something such that it is not a Gordimer.;
$hypothesis$ = the dhal is not a Gordimer. ; $context$ = sent1: The cellulosic does ensky cellulosic. sent2: that something is a kind of a AMP that does ensky cellulosic does not hold if it is not a ripple. sent3: if there are pregnant things the takeaway ripples but it is not a phyllo. sent4: if the takeaway is a ripple but it is not a phyllo the gregarine is not a kind of a ripple. sent5: there exists something such that that it feeds minicar and is a gong is not right. sent6: a non-prewar thing is not a AMP and is a Gordimer. sent7: if the cellulosic is a gomphothere but it does not disrupt the dhal is not prewar. sent8: the cellulosic is a gomphothere but it does not disrupt if it enskies cellulosic. sent9: if the fact that the cellulosic is prewar and it is a kind of a Gordimer does not hold the dhal is not a Gordimer. sent10: if the cellulosic enskies cellulosic then it is a kind of a gomphothere. sent11: a non-allergic thing is pregnant. sent12: if there is something such that the fact that it is a kind of a AMP that does ensky cellulosic is incorrect the indexer is not a Gordimer. sent13: the cellulosic does ensky cellulosic. sent14: if there exists something such that the fact that it does feed minicar and is a gong is wrong then the fact that the leaven is not allergic is not incorrect. ; $proof$ = 
sent8 & sent13 -> int1: the cellulosic is a gomphothere but it does not disrupt.; int1 & sent7 -> int2: that the dhal is not prewar hold.; sent6 -> int3: that the dhal is both not a AMP and a Gordimer is not incorrect if it is not prewar.; int2 & int3 -> int4: the dhal is not a kind of a AMP but it is a kind of a Gordimer.; int4 -> hypothesis; __DISPROVED__