the wulfenite is a kind of a sofa but it is not a kind of a executant.
sent1: if that the airstream is a icetray that is not painful is not correct the sneeze is a kind of a sofa. sent2: if that something is a kind of a Labourite and it is a kind of a Trinidadian is true the sneeze does destain Swazi. sent3: the fact that the airstream is starless but it is not a sofa is not correct. sent4: the wulfenite is a sofa but it is not a kind of a executant if the sneeze is a sofa. sent5: that the nutter is a kind of a Trinidadian is not incorrect. sent6: that the airstream is a sofa hold if the wulfenite is painful. sent7: the wulfenite is not a executant if the sneeze is a sofa. sent8: the nutter is a kind of a Labourite. sent9: the wulfenite is a icetray but it is not a executant. sent10: the airstream is not starless. sent11: if the airstream is not starless the fact that it is a icetray and it is not painful is not right. sent12: the fact that the airstream is a icetray and is painful does not hold. sent13: if the fact that the airstream is not non-painful but it is not a kind of a executant is false then the wulfenite is starless.
sent11 & sent10 -> int1: that the airstream is a icetray that is not painful is not true.; sent1 & int1 -> int2: the sneeze is a sofa.; sent4 & int2 -> hypothesis;
that the wulfenite is a kind of a sofa that is not a executant is wrong.
sent8 & sent5 -> int3: the nutter is a Labourite and it is a Trinidadian.; int3 -> int4: something is a Labourite that is a Trinidadian.; int4 & sent2 -> int5: the sneeze does destain Swazi.; int5 -> int6: there is something such that it does destain Swazi.;
$hypothesis$ = the wulfenite is a kind of a sofa but it is not a kind of a executant. ; $context$ = sent1: if that the airstream is a icetray that is not painful is not correct the sneeze is a kind of a sofa. sent2: if that something is a kind of a Labourite and it is a kind of a Trinidadian is true the sneeze does destain Swazi. sent3: the fact that the airstream is starless but it is not a sofa is not correct. sent4: the wulfenite is a sofa but it is not a kind of a executant if the sneeze is a sofa. sent5: that the nutter is a kind of a Trinidadian is not incorrect. sent6: that the airstream is a sofa hold if the wulfenite is painful. sent7: the wulfenite is not a executant if the sneeze is a sofa. sent8: the nutter is a kind of a Labourite. sent9: the wulfenite is a icetray but it is not a executant. sent10: the airstream is not starless. sent11: if the airstream is not starless the fact that it is a icetray and it is not painful is not right. sent12: the fact that the airstream is a icetray and is painful does not hold. sent13: if the fact that the airstream is not non-painful but it is not a kind of a executant is false then the wulfenite is starless. ; $proof$ = 
sent11 & sent10 -> int1: that the airstream is a icetray that is not painful is not true.; sent1 & int1 -> int2: the sneeze is a sofa.; sent4 & int2 -> hypothesis; __PROVED__