the starches is laryngeal.
sent1: everything is a Keynesian and it is a tenpence. sent2: that the serologist is both artesian and not a luff hold. sent3: if the starches is not a tenpence the fact that it is a Keynesian and it is laryngeal is not right. sent4: the starches is a Keynesian. sent5: if the fact that something is Keynesian and is laryngeal is not right then it is not laryngeal. sent6: the starches negotiates and houses redbelly. sent7: something that is artesian is a trivet. sent8: the fact that the serologist is a tenpence hold.
sent1 -> int1: the serologist is a kind of Keynesian thing that is a tenpence.; int1 -> int2: the serologist is a kind of a Keynesian.; sent7 -> int3: the serologist is a trivet if it is not non-artesian.; sent2 -> int4: the serologist is artesian.; int3 & int4 -> int5: the serologist is a trivet.; int2 & int5 -> int6: the serologist is a kind of a Keynesian and it is a trivet.; int6 -> int7: something is Keynesian and it is a kind of a trivet.;
the starches is not laryngeal.
sent5 -> int8: the starches is not laryngeal if that it is a Keynesian and is laryngeal does not hold.;
$hypothesis$ = the starches is laryngeal. ; $context$ = sent1: everything is a Keynesian and it is a tenpence. sent2: that the serologist is both artesian and not a luff hold. sent3: if the starches is not a tenpence the fact that it is a Keynesian and it is laryngeal is not right. sent4: the starches is a Keynesian. sent5: if the fact that something is Keynesian and is laryngeal is not right then it is not laryngeal. sent6: the starches negotiates and houses redbelly. sent7: something that is artesian is a trivet. sent8: the fact that the serologist is a tenpence hold. ; $proof$ = 
sent1 -> int1: the serologist is a kind of Keynesian thing that is a tenpence.; int1 -> int2: the serologist is a kind of a Keynesian.; sent7 -> int3: the serologist is a trivet if it is not non-artesian.; sent2 -> int4: the serologist is artesian.; int3 & int4 -> int5: the serologist is a trivet.; int2 & int5 -> int6: the serologist is a kind of a Keynesian and it is a trivet.; int6 -> int7: something is Keynesian and it is a kind of a trivet.; __UNKNOWN__