that if the wanton buses then the fink is not a kind of a quest hold.
sent1: the fink is a soldierfish. sent2: if the wanton buses then the fink is a quest. sent3: the fink is not a pollinator if the wanton does quest. sent4: the wanton is a quest and is a kind of a soldierfish if that the fink is not a Turkish hold. sent5: the wanton is not a kind of a soldierfish and it is not a kind of a pollinator. sent6: the fink is a Turkish if the wanton does not quest. sent7: the fink is both not a quest and a cephaloglycin if the wanton is not a kind of a Turkish. sent8: something is not a Turkish if it is not a pollinator and it is a bus. sent9: the wanton is not a kind of a quest and it is not a soldierfish. sent10: the ha-ha is not a Turkish. sent11: the fink is not a kind of a bus. sent12: if the fink is not a soldierfish then the wanton does not quest but it is a pollinator. sent13: if the fink is not a Turkish and is a cephaloglycin it is not a quest. sent14: the wanton is not a bus and is a cephaloglycin if the fink is not a kind of a quest. sent15: that the underfelt is a kind of non-neuroendocrine thing that is a kind of a bus is not wrong. sent16: the fink is not a Abila. sent17: the poolroom is a kind of a bus. sent18: the ethchlorvynol does not bus.
sent5 -> int1: the wanton is not a kind of a pollinator.; void -> assump1: Let's assume that the wanton is a bus.; int1 & assump1 -> int2: the wanton is not a kind of a pollinator and buses.; sent8 -> int3: if the wanton is not a pollinator but it does bus then it is not Turkish.; int2 & int3 -> int4: the wanton is not a Turkish.; int4 & sent7 -> int5: the fink is both not a quest and a cephaloglycin.; int5 -> int6: the fink does not quest.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the wanton buses then the fink is not a kind of a quest hold. ; $context$ = sent1: the fink is a soldierfish. sent2: if the wanton buses then the fink is a quest. sent3: the fink is not a pollinator if the wanton does quest. sent4: the wanton is a quest and is a kind of a soldierfish if that the fink is not a Turkish hold. sent5: the wanton is not a kind of a soldierfish and it is not a kind of a pollinator. sent6: the fink is a Turkish if the wanton does not quest. sent7: the fink is both not a quest and a cephaloglycin if the wanton is not a kind of a Turkish. sent8: something is not a Turkish if it is not a pollinator and it is a bus. sent9: the wanton is not a kind of a quest and it is not a soldierfish. sent10: the ha-ha is not a Turkish. sent11: the fink is not a kind of a bus. sent12: if the fink is not a soldierfish then the wanton does not quest but it is a pollinator. sent13: if the fink is not a Turkish and is a cephaloglycin it is not a quest. sent14: the wanton is not a bus and is a cephaloglycin if the fink is not a kind of a quest. sent15: that the underfelt is a kind of non-neuroendocrine thing that is a kind of a bus is not wrong. sent16: the fink is not a Abila. sent17: the poolroom is a kind of a bus. sent18: the ethchlorvynol does not bus. ; $proof$ = 
sent5 -> int1: the wanton is not a kind of a pollinator.; void -> assump1: Let's assume that the wanton is a bus.; int1 & assump1 -> int2: the wanton is not a kind of a pollinator and buses.; sent8 -> int3: if the wanton is not a pollinator but it does bus then it is not Turkish.; int2 & int3 -> int4: the wanton is not a Turkish.; int4 & sent7 -> int5: the fink is both not a quest and a cephaloglycin.; int5 -> int6: the fink does not quest.; [assump1] & int6 -> hypothesis; __PROVED__