the pelycosaur is profound.
sent1: everything is a Pusan and is thermodynamics. sent2: the pelycosaur is a Pusan. sent3: something is a Juneberry if that it is a low and it is not a Juneberry is not true. sent4: that the disentangler is thermodynamics hold. sent5: the pelycosaur is profound if the disentangler is a kind of a Pusan. sent6: the matriculate is thermodynamics. sent7: the bicarbonate is a Pusan if the tawse is a Juneberry. sent8: everything is thermodynamics. sent9: everything is a Tarabulus and it factorizes parameter. sent10: the fact that the pelycosaur is not thermodynamics but it is profound is not correct if the bicarbonate is a Pusan.
sent1 -> int1: the disentangler is a Pusan and it is thermodynamics.; int1 -> int2: that the disentangler is a Pusan hold.; sent5 & int2 -> hypothesis;
the pelycosaur is not profound.
sent3 -> int3: if the fact that that the tawse is both a low and not a Juneberry is not wrong is not true then it is a Juneberry.;
$hypothesis$ = the pelycosaur is profound. ; $context$ = sent1: everything is a Pusan and is thermodynamics. sent2: the pelycosaur is a Pusan. sent3: something is a Juneberry if that it is a low and it is not a Juneberry is not true. sent4: that the disentangler is thermodynamics hold. sent5: the pelycosaur is profound if the disentangler is a kind of a Pusan. sent6: the matriculate is thermodynamics. sent7: the bicarbonate is a Pusan if the tawse is a Juneberry. sent8: everything is thermodynamics. sent9: everything is a Tarabulus and it factorizes parameter. sent10: the fact that the pelycosaur is not thermodynamics but it is profound is not correct if the bicarbonate is a Pusan. ; $proof$ = 
sent1 -> int1: the disentangler is a Pusan and it is thermodynamics.; int1 -> int2: that the disentangler is a Pusan hold.; sent5 & int2 -> hypothesis; __PROVED__