the fact that the butadiene is a reticulocyte and it does belabor Francisella does not hold.
sent1: the fact that the steep does belabor salaam is true. sent2: the steep is not a barbital or belabors Francisella or both if it does belabor salaam. sent3: The fact that the salaam does belabor steep is true. sent4: if there exists something such that it is not monocotyledonous the fact that the butadiene is not a kind of an affined but it is a Capitonidae is not true. sent5: something that either is Wilsonian or does not write or both is not monocotyledonous. sent6: the tragacanth does not write. sent7: that the fact that something is a reticulocyte and it does belabor Francisella hold does not hold if it is not Wilsonian. sent8: the butadiene belabors Francisella if there exists something such that it is not a barbital or it belabors Francisella or both. sent9: if that something is not an affined but a Capitonidae is not true then it is a reticulocyte.
sent6 -> int1: the tragacanth is Wilsonian or does not write or both.; sent5 -> int2: if the tragacanth is Wilsonian and/or does not write it is not monocotyledonous.; int1 & int2 -> int3: the tragacanth is not monocotyledonous.; int3 -> int4: something is not monocotyledonous.; int4 & sent4 -> int5: the fact that the butadiene is not a kind of an affined but it is a Capitonidae is not correct.; sent9 -> int6: if the fact that the butadiene is not a kind of an affined and is a Capitonidae is wrong the fact that it is a reticulocyte is not wrong.; int5 & int6 -> int7: the butadiene is a kind of a reticulocyte.; sent2 & sent1 -> int8: the steep is not a barbital and/or it does belabor Francisella.; int8 -> int9: there exists something such that it is not a barbital and/or does belabor Francisella.; int9 & sent8 -> int10: that the butadiene does belabor Francisella is not incorrect.; int7 & int10 -> hypothesis;
the fact that the butadiene is a reticulocyte and it belabors Francisella does not hold.
sent7 -> int11: if the butadiene is not Wilsonian then that it is a reticulocyte that does belabor Francisella is false.;
$hypothesis$ = the fact that the butadiene is a reticulocyte and it does belabor Francisella does not hold. ; $context$ = sent1: the fact that the steep does belabor salaam is true. sent2: the steep is not a barbital or belabors Francisella or both if it does belabor salaam. sent3: The fact that the salaam does belabor steep is true. sent4: if there exists something such that it is not monocotyledonous the fact that the butadiene is not a kind of an affined but it is a Capitonidae is not true. sent5: something that either is Wilsonian or does not write or both is not monocotyledonous. sent6: the tragacanth does not write. sent7: that the fact that something is a reticulocyte and it does belabor Francisella hold does not hold if it is not Wilsonian. sent8: the butadiene belabors Francisella if there exists something such that it is not a barbital or it belabors Francisella or both. sent9: if that something is not an affined but a Capitonidae is not true then it is a reticulocyte. ; $proof$ = 
sent6 -> int1: the tragacanth is Wilsonian or does not write or both.; sent5 -> int2: if the tragacanth is Wilsonian and/or does not write it is not monocotyledonous.; int1 & int2 -> int3: the tragacanth is not monocotyledonous.; int3 -> int4: something is not monocotyledonous.; int4 & sent4 -> int5: the fact that the butadiene is not a kind of an affined but it is a Capitonidae is not correct.; sent9 -> int6: if the fact that the butadiene is not a kind of an affined and is a Capitonidae is wrong the fact that it is a reticulocyte is not wrong.; int5 & int6 -> int7: the butadiene is a kind of a reticulocyte.; sent2 & sent1 -> int8: the steep is not a barbital and/or it does belabor Francisella.; int8 -> int9: there exists something such that it is not a barbital and/or does belabor Francisella.; int9 & sent8 -> int10: that the butadiene does belabor Francisella is not incorrect.; int7 & int10 -> hypothesis; __DISPROVED__