the waffle is a gharry and it is a kind of a margin.
sent1: the fact that something is a gharry and it is a kind of a margin is incorrect if it does not tabulate lionfish. sent2: something is striate if it is a kind of a pull-through. sent3: if the fact that something is a particulate that is a kind of a gharry is not correct it is not a kind of a gharry. sent4: if there is something such that it is not a clonus the trichloroethylene is not a particulate but it confines. sent5: if the trichloroethylene is not a particulate and does confine then the collie is non-quadrupedal. sent6: the Gable is not a clonus. sent7: if the waffle is non-quadrupedal then it is a kind of a gharry that is a clonus. sent8: if that the trichloroethylene is both quadrupedal and not a clonus is false then it is a clonus. sent9: the waffle does not tabulate lionfish if there are non-quadrupedal and striate things. sent10: the collie is both a chlorthalidone and a pull-through.
sent6 -> int1: there exists something such that it is not a clonus.; int1 & sent4 -> int2: the trichloroethylene is a kind of non-particulate thing that does confine.; int2 & sent5 -> int3: the collie is not quadrupedal.; sent2 -> int4: if the collie is a pull-through that it is not non-striate is true.; sent10 -> int5: the collie is a pull-through.; int4 & int5 -> int6: the collie does striate.; int3 & int6 -> int7: the collie is both non-quadrupedal and striate.; int7 -> int8: there are non-quadrupedal and striate things.; int8 & sent9 -> int9: the fact that the waffle does not tabulate lionfish is right.; sent1 -> int10: if the waffle does not tabulate lionfish then that it is both a gharry and a margin is incorrect.; int9 & int10 -> hypothesis;
the waffle is a kind of a gharry and it is a kind of a margin.
$hypothesis$ = the waffle is a gharry and it is a kind of a margin. ; $context$ = sent1: the fact that something is a gharry and it is a kind of a margin is incorrect if it does not tabulate lionfish. sent2: something is striate if it is a kind of a pull-through. sent3: if the fact that something is a particulate that is a kind of a gharry is not correct it is not a kind of a gharry. sent4: if there is something such that it is not a clonus the trichloroethylene is not a particulate but it confines. sent5: if the trichloroethylene is not a particulate and does confine then the collie is non-quadrupedal. sent6: the Gable is not a clonus. sent7: if the waffle is non-quadrupedal then it is a kind of a gharry that is a clonus. sent8: if that the trichloroethylene is both quadrupedal and not a clonus is false then it is a clonus. sent9: the waffle does not tabulate lionfish if there are non-quadrupedal and striate things. sent10: the collie is both a chlorthalidone and a pull-through. ; $proof$ = 
sent6 -> int1: there exists something such that it is not a clonus.; int1 & sent4 -> int2: the trichloroethylene is a kind of non-particulate thing that does confine.; int2 & sent5 -> int3: the collie is not quadrupedal.; sent2 -> int4: if the collie is a pull-through that it is not non-striate is true.; sent10 -> int5: the collie is a pull-through.; int4 & int5 -> int6: the collie does striate.; int3 & int6 -> int7: the collie is both non-quadrupedal and striate.; int7 -> int8: there are non-quadrupedal and striate things.; int8 & sent9 -> int9: the fact that the waffle does not tabulate lionfish is right.; sent1 -> int10: if the waffle does not tabulate lionfish then that it is both a gharry and a margin is incorrect.; int9 & int10 -> hypothesis; __DISPROVED__