the cyclohexanol is not tuberous but it does premeditate boxed.
sent1: the aquatic does not band Shawnee if it premeditates send-off and ventilates peanut. sent2: something scrimps or it is not tuberous or both if it is not a kind of a forty. sent3: the fish bands Shawnee and/or it does premeditate allegorizer if the aquatic does not bands Shawnee. sent4: if the aquatic does not scrimp either the Tyrolean does scrimp or it does band Shawnee or both. sent5: if the fish premeditates allegorizer the cyclohexanol does premeditate boxed. sent6: the aquatic does ventilate peanut. sent7: The peanut does ventilate aquatic. sent8: the cyclohexanol premeditates boxed if the fish does band Shawnee. sent9: the cyclohexanol is not tuberous if the Tyrolean does scrimp. sent10: The send-off premeditates aquatic. sent11: if that the Tyrolean is not tuberous is not false then the cyclohexanol is not tuberous. sent12: the Tyrolean does not muck and it is not a kind of a forty. sent13: the aquatic premeditates send-off.
sent13 & sent6 -> int1: the aquatic does premeditate send-off and does ventilate peanut.; int1 & sent1 -> int2: the aquatic does not band Shawnee.; int2 & sent3 -> int3: the fish bands Shawnee or it does premeditate allegorizer or both.; int3 & sent8 & sent5 -> int4: that the cyclohexanol does premeditate boxed hold.; sent2 -> int5: the Tyrolean either scrimps or is not tuberous or both if that it is not a forty is not incorrect.; sent12 -> int6: the Tyrolean is not a forty.; int5 & int6 -> int7: the Tyrolean does scrimp or it is not tuberous or both.; int7 & sent9 & sent11 -> int8: the cyclohexanol is not tuberous.; int4 & int8 -> hypothesis;
$hypothesis$ = the cyclohexanol is not tuberous but it does premeditate boxed. ; $context$ = sent1: the aquatic does not band Shawnee if it premeditates send-off and ventilates peanut. sent2: something scrimps or it is not tuberous or both if it is not a kind of a forty. sent3: the fish bands Shawnee and/or it does premeditate allegorizer if the aquatic does not bands Shawnee. sent4: if the aquatic does not scrimp either the Tyrolean does scrimp or it does band Shawnee or both. sent5: if the fish premeditates allegorizer the cyclohexanol does premeditate boxed. sent6: the aquatic does ventilate peanut. sent7: The peanut does ventilate aquatic. sent8: the cyclohexanol premeditates boxed if the fish does band Shawnee. sent9: the cyclohexanol is not tuberous if the Tyrolean does scrimp. sent10: The send-off premeditates aquatic. sent11: if that the Tyrolean is not tuberous is not false then the cyclohexanol is not tuberous. sent12: the Tyrolean does not muck and it is not a kind of a forty. sent13: the aquatic premeditates send-off. ; $proof$ = 
sent13 & sent6 -> int1: the aquatic does premeditate send-off and does ventilate peanut.; int1 & sent1 -> int2: the aquatic does not band Shawnee.; int2 & sent3 -> int3: the fish bands Shawnee or it does premeditate allegorizer or both.; int3 & sent8 & sent5 -> int4: that the cyclohexanol does premeditate boxed hold.; sent2 -> int5: the Tyrolean either scrimps or is not tuberous or both if that it is not a forty is not incorrect.; sent12 -> int6: the Tyrolean is not a forty.; int5 & int6 -> int7: the Tyrolean does scrimp or it is not tuberous or both.; int7 & sent9 & sent11 -> int8: the cyclohexanol is not tuberous.; int4 & int8 -> hypothesis; __PROVED__