the doctor is semi-tuberous.
sent1: if the gorgonzola is a minute then the buckshot is a whale. sent2: if the pony is semi-tuberous the doctor is a starboard. sent3: the fact that the pony is not a minute and/or it is not a whale is not true if the buckshot does not unionize bastion. sent4: if that something is either not a minute or not a whale or both is false then that it is a suggestion is not wrong. sent5: something does whale. sent6: the buckshot is semi-tuberous if there is something such that it does not whale. sent7: something is a clarion. sent8: the gorgonzola is a minute if the pony is a kind of a Bonn. sent9: the pony whales. sent10: if the buckshot is a whale then the doctor is an extrusion. sent11: the buckshot is a minute. sent12: the buckshot does not unionize bastion. sent13: if something that is not a Bonn starboards it is semi-tuberous. sent14: a starboard is a Bonn. sent15: the doctor is non-semi-tuberous if that the pony is a suggestion and it is non-semi-tuberous is not wrong. sent16: something is a kind of a minute. sent17: the pony starboards if something is not a suggestion. sent18: the buckshot is a Bonn. sent19: something is semi-tuberous if that it is an extrusion hold. sent20: something is not a whale. sent21: something is a rammer if it is eccrine. sent22: the doctor does whale if the buckshot is semi-tuberous. sent23: the fact that the gorgonzola is an extrusion is not wrong if the doctor is a minute. sent24: the pony is a kind of a minute if the gorgonzola is a Bonn.
sent14 -> int1: if the pony starboards then it is a Bonn.; sent19 -> int2: if the doctor is a kind of an extrusion it is semi-tuberous.;
the doctor is not semi-tuberous.
sent4 -> int3: the pony is a suggestion if the fact that it is not a kind of a minute and/or it does not whale is false.; sent3 & sent12 -> int4: the fact that the pony is not a minute and/or does not whale is wrong.; int3 & int4 -> int5: the fact that the pony is a suggestion is correct.; sent13 -> int6: if the pony is not a kind of a Bonn but it is a kind of a starboard then it is semi-tuberous.;
$hypothesis$ = the doctor is semi-tuberous. ; $context$ = sent1: if the gorgonzola is a minute then the buckshot is a whale. sent2: if the pony is semi-tuberous the doctor is a starboard. sent3: the fact that the pony is not a minute and/or it is not a whale is not true if the buckshot does not unionize bastion. sent4: if that something is either not a minute or not a whale or both is false then that it is a suggestion is not wrong. sent5: something does whale. sent6: the buckshot is semi-tuberous if there is something such that it does not whale. sent7: something is a clarion. sent8: the gorgonzola is a minute if the pony is a kind of a Bonn. sent9: the pony whales. sent10: if the buckshot is a whale then the doctor is an extrusion. sent11: the buckshot is a minute. sent12: the buckshot does not unionize bastion. sent13: if something that is not a Bonn starboards it is semi-tuberous. sent14: a starboard is a Bonn. sent15: the doctor is non-semi-tuberous if that the pony is a suggestion and it is non-semi-tuberous is not wrong. sent16: something is a kind of a minute. sent17: the pony starboards if something is not a suggestion. sent18: the buckshot is a Bonn. sent19: something is semi-tuberous if that it is an extrusion hold. sent20: something is not a whale. sent21: something is a rammer if it is eccrine. sent22: the doctor does whale if the buckshot is semi-tuberous. sent23: the fact that the gorgonzola is an extrusion is not wrong if the doctor is a minute. sent24: the pony is a kind of a minute if the gorgonzola is a Bonn. ; $proof$ = 
sent14 -> int1: if the pony starboards then it is a Bonn.; sent19 -> int2: if the doctor is a kind of an extrusion it is semi-tuberous.; __UNKNOWN__