the ornamentation is a kind of a Colt.
sent1: something is not a wanton and it is not caffeinic. sent2: the antidiuretic is not a Beveridge. sent3: something that is a Hussein is a Colt. sent4: the frogbit is a kind of a Beveridge if it is a kind of a cereal. sent5: if the frogbit is not whiting or a cereal or both it is a Beveridge. sent6: the ornamentation is a cereal. sent7: if the frogbit is a Beveridge then the antidiuretic is not a Beveridge and not a Haemodorum. sent8: if the frogbit is non-whiting or is a kind of a Hussein or both then it is a Colt. sent9: if something is either not effortful or a skibob or both it is a Hussein. sent10: there is something such that it is both a Beveridge and not a Haemodorum. sent11: something is not a kind of a Beveridge but it is a Haemodorum. sent12: the antidiuretic is whiting if it is not a Beveridge or is a Haemodorum or both. sent13: either something is not a Colt or it is a kind of a Beveridge or both if it is not a Haemodorum. sent14: the fact that the ornamentation is a kind of a Hussein is true if something is not a Beveridge and it is not a Haemodorum. sent15: something is not a kind of a Haemodorum. sent16: there is something such that it is not a kind of a Beveridge. sent17: the antidiuretic is not a Beveridge if the frogbit is a kind of a Beveridge. sent18: the frogbit is either non-whiting or not non-cereal or both.
sent5 & sent18 -> int1: the frogbit is a Beveridge.; int1 & sent7 -> int2: the antidiuretic is not a Beveridge and it is not a Haemodorum.; int2 -> int3: there is something such that it is both not a Beveridge and not a Haemodorum.; int3 & sent14 -> int4: the ornamentation is a Hussein.; sent3 -> int5: the fact that the ornamentation is a Colt hold if that it is a kind of a Hussein is correct.; int4 & int5 -> hypothesis;
if the tepal is not effortful and/or is a kind of a skibob it is a Hussein.
sent9 -> hypothesis;
$hypothesis$ = the ornamentation is a kind of a Colt. ; $context$ = sent1: something is not a wanton and it is not caffeinic. sent2: the antidiuretic is not a Beveridge. sent3: something that is a Hussein is a Colt. sent4: the frogbit is a kind of a Beveridge if it is a kind of a cereal. sent5: if the frogbit is not whiting or a cereal or both it is a Beveridge. sent6: the ornamentation is a cereal. sent7: if the frogbit is a Beveridge then the antidiuretic is not a Beveridge and not a Haemodorum. sent8: if the frogbit is non-whiting or is a kind of a Hussein or both then it is a Colt. sent9: if something is either not effortful or a skibob or both it is a Hussein. sent10: there is something such that it is both a Beveridge and not a Haemodorum. sent11: something is not a kind of a Beveridge but it is a Haemodorum. sent12: the antidiuretic is whiting if it is not a Beveridge or is a Haemodorum or both. sent13: either something is not a Colt or it is a kind of a Beveridge or both if it is not a Haemodorum. sent14: the fact that the ornamentation is a kind of a Hussein is true if something is not a Beveridge and it is not a Haemodorum. sent15: something is not a kind of a Haemodorum. sent16: there is something such that it is not a kind of a Beveridge. sent17: the antidiuretic is not a Beveridge if the frogbit is a kind of a Beveridge. sent18: the frogbit is either non-whiting or not non-cereal or both. ; $proof$ = 
sent5 & sent18 -> int1: the frogbit is a Beveridge.; int1 & sent7 -> int2: the antidiuretic is not a Beveridge and it is not a Haemodorum.; int2 -> int3: there is something such that it is both not a Beveridge and not a Haemodorum.; int3 & sent14 -> int4: the ornamentation is a Hussein.; sent3 -> int5: the fact that the ornamentation is a Colt hold if that it is a kind of a Hussein is correct.; int4 & int5 -> hypothesis; __PROVED__