the Kichai is bursal but not a trawl.
sent1: the Kichai is a celerity. sent2: if that the Kichai does trawl is not incorrect that the tank is a trawl but it is not bursal is false. sent3: the Kichai does scallop brewer. sent4: the Kichai tempers delectability. sent5: the fact that the tank is a trawl that does not temper delectability is wrong. sent6: The delectability tempers tank. sent7: the tank tempers delectability. sent8: the tank is bursal if it tempers delectability. sent9: if the Kichai is a kind of a trawl then it is declarative. sent10: that the monstrosity tempers delectability and it is bursal does not hold if the tank tempers delectability. sent11: if that the Kichai is bursal is correct then it does temper delectability. sent12: the fact that the Kichai is bursal and does not trawl does not hold if the tank is bursal. sent13: if the Kichai does trawl then the fact that the tank does trawl and it is bursal is not correct. sent14: the Frank is a kind of a trawl. sent15: the fact that the Kichai is bursal and does not temper delectability is not correct if the tank is not bursal. sent16: the fact that the Kichai is bursal and does not temper delectability is false. sent17: the Jenny does temper delectability. sent18: that the tank is a kind of bursal thing that is not a kind of a trawl is incorrect. sent19: that the Kichai is a kind of a trawl that does not temper delectability is wrong. sent20: that that the Kichai does trawl and is not non-bursal hold does not hold if the fact that the tank trawl is correct.
sent8 & sent7 -> int1: the tank is bursal.; int1 & sent12 -> hypothesis;
$hypothesis$ = the Kichai is bursal but not a trawl. ; $context$ = sent1: the Kichai is a celerity. sent2: if that the Kichai does trawl is not incorrect that the tank is a trawl but it is not bursal is false. sent3: the Kichai does scallop brewer. sent4: the Kichai tempers delectability. sent5: the fact that the tank is a trawl that does not temper delectability is wrong. sent6: The delectability tempers tank. sent7: the tank tempers delectability. sent8: the tank is bursal if it tempers delectability. sent9: if the Kichai is a kind of a trawl then it is declarative. sent10: that the monstrosity tempers delectability and it is bursal does not hold if the tank tempers delectability. sent11: if that the Kichai is bursal is correct then it does temper delectability. sent12: the fact that the Kichai is bursal and does not trawl does not hold if the tank is bursal. sent13: if the Kichai does trawl then the fact that the tank does trawl and it is bursal is not correct. sent14: the Frank is a kind of a trawl. sent15: the fact that the Kichai is bursal and does not temper delectability is not correct if the tank is not bursal. sent16: the fact that the Kichai is bursal and does not temper delectability is false. sent17: the Jenny does temper delectability. sent18: that the tank is a kind of bursal thing that is not a kind of a trawl is incorrect. sent19: that the Kichai is a kind of a trawl that does not temper delectability is wrong. sent20: that that the Kichai does trawl and is not non-bursal hold does not hold if the fact that the tank trawl is correct. ; $proof$ = 
sent8 & sent7 -> int1: the tank is bursal.; int1 & sent12 -> hypothesis; __DISPROVED__