something does honey cool but it does not honey impeller.
sent1: the pull is a paperback if it does hive and does not torture treehopper. sent2: the toucan is both a Capreolus and not a killdeer. sent3: that the toucan is a kind of a processor and it honeys cool is false. sent4: the toucan does not honey impeller if that the facing does resettle Cash is true. sent5: the binding is a kind of a processor if the fact that the outdoorswoman is not divisional but a paperback is not correct. sent6: if the binding is a processor the facing does resettle Cash or it is not a kind of a processor or both. sent7: the toucan is not divisional if the outdoorswoman does not honey cool. sent8: the pull is a hive and does not torture treehopper if it is not a kind of a killdeer. sent9: the toucan does honey cool. sent10: The cool does honey toucan. sent11: the pull is not a kind of a killdeer. sent12: the toucan hives if that the pull does honey cool is not incorrect. sent13: if the fact that the facing is not a kind of a processor hold then the toucan does not honey impeller. sent14: if the fact that the pull is a paperback hold that the outdoorswoman is both not divisional and a paperback does not hold. sent15: the fact that something is a paperback but it is not divisional is not true if it does resettle Cash.
sent8 & sent11 -> int1: the pull is a hive and does not torture treehopper.; int1 & sent1 -> int2: the pull is a kind of a paperback.; int2 & sent14 -> int3: that the outdoorswoman is a kind of non-divisional thing that is a kind of a paperback does not hold.; int3 & sent5 -> int4: the binding is a processor.; int4 & sent6 -> int5: either the facing resettles Cash or it is not a processor or both.; int5 & sent4 & sent13 -> int6: the toucan does not honey impeller.; int6 & sent9 -> int7: the toucan does honey cool but it does not honey impeller.; int7 -> hypothesis;
the outdoorswoman is a processor but it is not a pharmaceutical.
sent15 -> int8: if the pull does resettle Cash that it is a paperback and not divisional does not hold.;
$hypothesis$ = something does honey cool but it does not honey impeller. ; $context$ = sent1: the pull is a paperback if it does hive and does not torture treehopper. sent2: the toucan is both a Capreolus and not a killdeer. sent3: that the toucan is a kind of a processor and it honeys cool is false. sent4: the toucan does not honey impeller if that the facing does resettle Cash is true. sent5: the binding is a kind of a processor if the fact that the outdoorswoman is not divisional but a paperback is not correct. sent6: if the binding is a processor the facing does resettle Cash or it is not a kind of a processor or both. sent7: the toucan is not divisional if the outdoorswoman does not honey cool. sent8: the pull is a hive and does not torture treehopper if it is not a kind of a killdeer. sent9: the toucan does honey cool. sent10: The cool does honey toucan. sent11: the pull is not a kind of a killdeer. sent12: the toucan hives if that the pull does honey cool is not incorrect. sent13: if the fact that the facing is not a kind of a processor hold then the toucan does not honey impeller. sent14: if the fact that the pull is a paperback hold that the outdoorswoman is both not divisional and a paperback does not hold. sent15: the fact that something is a paperback but it is not divisional is not true if it does resettle Cash. ; $proof$ = 
sent8 & sent11 -> int1: the pull is a hive and does not torture treehopper.; int1 & sent1 -> int2: the pull is a kind of a paperback.; int2 & sent14 -> int3: that the outdoorswoman is a kind of non-divisional thing that is a kind of a paperback does not hold.; int3 & sent5 -> int4: the binding is a processor.; int4 & sent6 -> int5: either the facing resettles Cash or it is not a processor or both.; int5 & sent4 & sent13 -> int6: the toucan does not honey impeller.; int6 & sent9 -> int7: the toucan does honey cool but it does not honey impeller.; int7 -> hypothesis; __PROVED__