the trawler is not a time.
sent1: the trawler is a Rhodosphaera if it is not a urial and it is not benthic. sent2: something is not a time if it is a kind of a Rhodosphaera. sent3: the trawler is not a kind of a urial and it is not benthic. sent4: the globin is not a urial if that it is introspective thing that does not drink globin does not hold. sent5: if something is benthic that it does not time is not wrong. sent6: if the trawler does emote bean then it is not a confiscation. sent7: if something does denationalize Walter then that it is benthic and it is not a agaric hold. sent8: there is nothing such that it is introspective thing that does not drink globin. sent9: the bean is a kind of non-hydrophobic thing that is not benthic. sent10: the fact that the trawler is not a voltmeter is not false. sent11: the globin does denationalize Walter. sent12: if something is not a urial but benthic then it is not a Rhodosphaera.
sent2 -> int1: the trawler is not a time if it is a Rhodosphaera.; sent1 & sent3 -> int2: the trawler is a Rhodosphaera.; int1 & int2 -> hypothesis;
the trawler is a time.
sent12 -> int3: if the globin is not a urial but it is benthic it is not a Rhodosphaera.; sent8 -> int4: the fact that the globin is introspective but it does not drink globin does not hold.; sent4 & int4 -> int5: the globin is not a urial.; sent7 -> int6: if the globin does denationalize Walter then the fact that it is benthic but not a agaric is not wrong.; int6 & sent11 -> int7: the globin is benthic thing that is not a agaric.; int7 -> int8: the globin is benthic.; int5 & int8 -> int9: the globin is not a urial and is benthic.; int3 & int9 -> int10: the fact that the globin is not a Rhodosphaera is not wrong.; int10 -> int11: there is something such that it is not a kind of a Rhodosphaera.;
$hypothesis$ = the trawler is not a time. ; $context$ = sent1: the trawler is a Rhodosphaera if it is not a urial and it is not benthic. sent2: something is not a time if it is a kind of a Rhodosphaera. sent3: the trawler is not a kind of a urial and it is not benthic. sent4: the globin is not a urial if that it is introspective thing that does not drink globin does not hold. sent5: if something is benthic that it does not time is not wrong. sent6: if the trawler does emote bean then it is not a confiscation. sent7: if something does denationalize Walter then that it is benthic and it is not a agaric hold. sent8: there is nothing such that it is introspective thing that does not drink globin. sent9: the bean is a kind of non-hydrophobic thing that is not benthic. sent10: the fact that the trawler is not a voltmeter is not false. sent11: the globin does denationalize Walter. sent12: if something is not a urial but benthic then it is not a Rhodosphaera. ; $proof$ = 
sent2 -> int1: the trawler is not a time if it is a Rhodosphaera.; sent1 & sent3 -> int2: the trawler is a Rhodosphaera.; int1 & int2 -> hypothesis; __PROVED__