the hawse is not shapely and it is not bacteriophagic.
sent1: something is non-shapely thing that is not bacteriophagic if it is not microeconomic. sent2: the Baptist is clerical thing that is a spinet if the sculpture is not clerical. sent3: if something is clerical the fact that it does not furlough ready and is microeconomic is not true. sent4: the fact that the sculpture is not distrustful is not false. sent5: the bologna is microeconomic if there exists something such that the fact that it is not a fatherliness and does not furlough tradespeople is not true. sent6: if the Baptist is a spinet then that the hawse is not shapely and is not bacteriophagic does not hold. sent7: the sculpture is not clerical if something is microeconomic and/or it furloughs ready. sent8: that the fact that the excavator is not a kind of a fatherliness and does not furlough tradespeople does not hold hold. sent9: the fact that the hawse is both not bacteriophagic and not a spinet is incorrect. sent10: the bologna is clerical if the sculpture is unshapely.
sent8 -> int1: there is something such that the fact that it is not a kind of a fatherliness and does not furlough tradespeople is not correct.; int1 & sent5 -> int2: the bologna is microeconomic.; int2 -> int3: either the bologna is microeconomic or it does furlough ready or both.; int3 -> int4: the fact that something is microeconomic and/or it furloughs ready is right.; int4 & sent7 -> int5: the sculpture is not clerical.; sent2 & int5 -> int6: the Baptist is clerical and it is a spinet.; int6 -> int7: the Baptist is a spinet.; sent6 & int7 -> hypothesis;
the hawse is not shapely and it is not bacteriophagic.
sent1 -> int8: the hawse is both unshapely and non-bacteriophagic if it is not microeconomic.;
$hypothesis$ = the hawse is not shapely and it is not bacteriophagic. ; $context$ = sent1: something is non-shapely thing that is not bacteriophagic if it is not microeconomic. sent2: the Baptist is clerical thing that is a spinet if the sculpture is not clerical. sent3: if something is clerical the fact that it does not furlough ready and is microeconomic is not true. sent4: the fact that the sculpture is not distrustful is not false. sent5: the bologna is microeconomic if there exists something such that the fact that it is not a fatherliness and does not furlough tradespeople is not true. sent6: if the Baptist is a spinet then that the hawse is not shapely and is not bacteriophagic does not hold. sent7: the sculpture is not clerical if something is microeconomic and/or it furloughs ready. sent8: that the fact that the excavator is not a kind of a fatherliness and does not furlough tradespeople does not hold hold. sent9: the fact that the hawse is both not bacteriophagic and not a spinet is incorrect. sent10: the bologna is clerical if the sculpture is unshapely. ; $proof$ = 
sent8 -> int1: there is something such that the fact that it is not a kind of a fatherliness and does not furlough tradespeople is not correct.; int1 & sent5 -> int2: the bologna is microeconomic.; int2 -> int3: either the bologna is microeconomic or it does furlough ready or both.; int3 -> int4: the fact that something is microeconomic and/or it furloughs ready is right.; int4 & sent7 -> int5: the sculpture is not clerical.; sent2 & int5 -> int6: the Baptist is clerical and it is a spinet.; int6 -> int7: the Baptist is a spinet.; sent6 & int7 -> hypothesis; __DISPROVED__