the carriage is an outrageousness.
sent1: if the carriage trundles then it is a garter. sent2: the trivet is a kind of an outrageousness. sent3: the wisent is a parasympathetic. sent4: the carriage smokes. sent5: the carriage is a laticifer. sent6: the carriage is parasympathetic a laticifer. sent7: the carriage is a laticifer and it is south. sent8: that the townsman is a laticifer hold. sent9: the carriage is a pyrite. sent10: the intussusception is an outrageousness. sent11: the crochet destines Steinman if it is a kind of a parasympathetic. sent12: the fact that the carriage is a hardware is right. sent13: the carriage is a kind of a Anthus. sent14: the hailstone is both a discretion and an outrageousness. sent15: the carriage is postexilic thing that is a communism. sent16: the futon is a kind of an outrageousness if it does bespangle subvention. sent17: the rimu is unicellular and is a communism. sent18: the carriage is tertian. sent19: the carriage is a horniness. sent20: something is an outrageousness if it is a kind of a parasympathetic. sent21: the carriage is not a kind of an outrageousness but it is a kind of a parasympathetic if that the intussusception is not a kind of a laticifer is not wrong.
sent6 -> int1: the carriage is a kind of a parasympathetic.; sent20 -> int2: the carriage is an outrageousness if it is a kind of a parasympathetic.; int1 & int2 -> hypothesis;
the carriage is not a kind of an outrageousness.
$hypothesis$ = the carriage is an outrageousness. ; $context$ = sent1: if the carriage trundles then it is a garter. sent2: the trivet is a kind of an outrageousness. sent3: the wisent is a parasympathetic. sent4: the carriage smokes. sent5: the carriage is a laticifer. sent6: the carriage is parasympathetic a laticifer. sent7: the carriage is a laticifer and it is south. sent8: that the townsman is a laticifer hold. sent9: the carriage is a pyrite. sent10: the intussusception is an outrageousness. sent11: the crochet destines Steinman if it is a kind of a parasympathetic. sent12: the fact that the carriage is a hardware is right. sent13: the carriage is a kind of a Anthus. sent14: the hailstone is both a discretion and an outrageousness. sent15: the carriage is postexilic thing that is a communism. sent16: the futon is a kind of an outrageousness if it does bespangle subvention. sent17: the rimu is unicellular and is a communism. sent18: the carriage is tertian. sent19: the carriage is a horniness. sent20: something is an outrageousness if it is a kind of a parasympathetic. sent21: the carriage is not a kind of an outrageousness but it is a kind of a parasympathetic if that the intussusception is not a kind of a laticifer is not wrong. ; $proof$ = 
sent6 -> int1: the carriage is a kind of a parasympathetic.; sent20 -> int2: the carriage is an outrageousness if it is a kind of a parasympathetic.; int1 & int2 -> hypothesis; __PROVED__