the fact that the fetoprotein is a Harvard and it coos corm does not hold.
sent1: the fact that something is a kind of a skepful and does not rib barite is incorrect if it is a Cuban. sent2: the waterfowl ribs barite. sent3: the fetoprotein coos corm. sent4: the fetoprotein does coo Nanaimo. sent5: the epidemiologist coos corm. sent6: there is something such that it does rib timeserver. sent7: that the catalog does rib barite hold. sent8: the fetoprotein does coo Ladyship and is chronological. sent9: the timeserver is an epileptic and it is Cuban if there exists something such that it ribs timeserver. sent10: the fetoprotein does rib barite. sent11: if that the fetoprotein is a kind of a Harvard and does not coo corm does not hold the plowboy does rib barite. sent12: that the fetoprotein is a Harvard hold if it ribs barite. sent13: the fetoprotein is a kind of a FIFO. sent14: The barite does rib fetoprotein. sent15: The corm coos fetoprotein. sent16: the necklace immortalizes projectionist and is a spherometer.
sent12 & sent10 -> int1: the fetoprotein is a Harvard.; int1 & sent3 -> hypothesis;
the fact that the fetoprotein is a Harvard and does coo corm is false.
sent1 -> int2: if the timeserver is a Cuban the fact that it is a skepful and it does not rib barite is false.; sent6 & sent9 -> int3: the timeserver is a kind of an epileptic that is a Cuban.; int3 -> int4: the timeserver is a Cuban.; int2 & int4 -> int5: the fact that the timeserver is a kind of a skepful that does not rib barite is not correct.; int5 -> int6: there is something such that the fact that that it is a skepful and does not rib barite is right is not true.;
$hypothesis$ = the fact that the fetoprotein is a Harvard and it coos corm does not hold. ; $context$ = sent1: the fact that something is a kind of a skepful and does not rib barite is incorrect if it is a Cuban. sent2: the waterfowl ribs barite. sent3: the fetoprotein coos corm. sent4: the fetoprotein does coo Nanaimo. sent5: the epidemiologist coos corm. sent6: there is something such that it does rib timeserver. sent7: that the catalog does rib barite hold. sent8: the fetoprotein does coo Ladyship and is chronological. sent9: the timeserver is an epileptic and it is Cuban if there exists something such that it ribs timeserver. sent10: the fetoprotein does rib barite. sent11: if that the fetoprotein is a kind of a Harvard and does not coo corm does not hold the plowboy does rib barite. sent12: that the fetoprotein is a Harvard hold if it ribs barite. sent13: the fetoprotein is a kind of a FIFO. sent14: The barite does rib fetoprotein. sent15: The corm coos fetoprotein. sent16: the necklace immortalizes projectionist and is a spherometer. ; $proof$ = 
sent12 & sent10 -> int1: the fetoprotein is a Harvard.; int1 & sent3 -> hypothesis; __DISPROVED__