the red is a kind of anastigmatic thing that sweeps.
sent1: the violin is not a hypostatization but a Cacajao. sent2: if the violin is not a kind of a hypostatization and is a Cacajao then it is non-anastigmatic. sent3: the fact that the red is a Cacajao and sweeps does not hold. sent4: the violin is not anastigmatic if it is a kind of a hypostatization and it is a Cacajao. sent5: the violin is not a kind of a hectogram. sent6: if that something does not riposte latest but it is collarless is not right then it is anastigmatic. sent7: the fact that the violin is anastigmatic thing that sweeps is false. sent8: something is a skylight and it is an inevitability if it is not a supplejack. sent9: if the trailer is anti but not a grange the sandbar does not hollo. sent10: the fact that the red is not a Cacajao but it is anastigmatic is not incorrect. sent11: the violin is not a kind of a supplejack and does not formalize Metroxylon. sent12: the violin is not a hypostatization. sent13: if the red is not a sweeping but a Cacajao then it is not anastigmatic. sent14: the fact that the red sweeps and it is a Cacajao is false. sent15: if the fact that the sandbar does not hollo is not incorrect it is a hectogram and it is stormy. sent16: the trailer is anti and is not a grange. sent17: the violin is not a Bonaire. sent18: if the violin is a kind of non-anastigmatic a Cacajao it is not a sweeping. sent19: the fact that the red is anastigmatic and it does sweep is not correct if the violin is not anastigmatic. sent20: if the fact that something is not a sweeping and it is not a kind of a Bonaire is incorrect then it is a sweeping. sent21: if the sandbar is a kind of a hectogram then the fact that the red does not riposte latest and is collarless is wrong. sent22: the regular does not nurse but it formalizes sternwheeler. sent23: if the red is not a kind of a sweeping the fact that the violin is a sweeping and anastigmatic does not hold.
sent2 & sent1 -> int1: the fact that the violin is not anastigmatic is not wrong.; sent19 & int1 -> hypothesis;
the red is anastigmatic and sweeps.
sent6 -> int2: if that the red does not riposte latest but it is collarless is not right it is anastigmatic.; sent9 & sent16 -> int3: the sandbar does not hollo.; sent15 & int3 -> int4: the sandbar is a kind of a hectogram that is stormy.; int4 -> int5: the sandbar is a hectogram.; sent21 & int5 -> int6: the fact that the red does not riposte latest and is collarless does not hold.; int2 & int6 -> int7: the fact that the red is anastigmatic is not false.; sent20 -> int8: the red is a kind of a sweeping if that it is not a sweeping and it is not a Bonaire is not correct.; sent8 -> int9: the violin is a skylight and an inevitability if it is not a supplejack.; sent11 -> int10: the violin is not a supplejack.; int9 & int10 -> int11: the violin is a skylight and it is an inevitability.; int11 -> int12: the violin is an inevitability.; int12 -> int13: there exists something such that it is a kind of an inevitability.;
$hypothesis$ = the red is a kind of anastigmatic thing that sweeps. ; $context$ = sent1: the violin is not a hypostatization but a Cacajao. sent2: if the violin is not a kind of a hypostatization and is a Cacajao then it is non-anastigmatic. sent3: the fact that the red is a Cacajao and sweeps does not hold. sent4: the violin is not anastigmatic if it is a kind of a hypostatization and it is a Cacajao. sent5: the violin is not a kind of a hectogram. sent6: if that something does not riposte latest but it is collarless is not right then it is anastigmatic. sent7: the fact that the violin is anastigmatic thing that sweeps is false. sent8: something is a skylight and it is an inevitability if it is not a supplejack. sent9: if the trailer is anti but not a grange the sandbar does not hollo. sent10: the fact that the red is not a Cacajao but it is anastigmatic is not incorrect. sent11: the violin is not a kind of a supplejack and does not formalize Metroxylon. sent12: the violin is not a hypostatization. sent13: if the red is not a sweeping but a Cacajao then it is not anastigmatic. sent14: the fact that the red sweeps and it is a Cacajao is false. sent15: if the fact that the sandbar does not hollo is not incorrect it is a hectogram and it is stormy. sent16: the trailer is anti and is not a grange. sent17: the violin is not a Bonaire. sent18: if the violin is a kind of non-anastigmatic a Cacajao it is not a sweeping. sent19: the fact that the red is anastigmatic and it does sweep is not correct if the violin is not anastigmatic. sent20: if the fact that something is not a sweeping and it is not a kind of a Bonaire is incorrect then it is a sweeping. sent21: if the sandbar is a kind of a hectogram then the fact that the red does not riposte latest and is collarless is wrong. sent22: the regular does not nurse but it formalizes sternwheeler. sent23: if the red is not a kind of a sweeping the fact that the violin is a sweeping and anastigmatic does not hold. ; $proof$ = 
sent2 & sent1 -> int1: the fact that the violin is not anastigmatic is not wrong.; sent19 & int1 -> hypothesis; __DISPROVED__