the he is not a kind of a languor and is a kind of a sortition.
sent1: that the softball is not a languor but it is a sortition is not right if that the he is a sortition hold. sent2: the softball is a languor. sent3: the fact that the he is not a languor but a sortition does not hold if the softball is a kind of a sortition. sent4: if something that is not a kind of a self-insurance is a PFLP it is not a Sardinian. sent5: that the softball is not a languor but it is a sortition does not hold. sent6: the softball is not a kind of a self-insurance if the butt crooks lovastatin and is a kind of a self-insurance. sent7: that the he is a languor and a sortition is not correct. sent8: the fact that the he is a languor and is a kind of a sortition is incorrect if the softball is a kind of a sortition. sent9: that the he is not a wain but a redhead is not correct. sent10: the softball is a Sardinian and it is a sortition. sent11: if the softball is a languor then the fact that the he is not a kind of a sortition but it is a kind of a languor is not true. sent12: the he is not a PFLP if it preponderates and is not a self-insurance. sent13: the trigon is a languor. sent14: the butt does crook lovastatin and it is a kind of a self-insurance. sent15: the softball is a Sardinian. sent16: the wash-and-wear is a kind of a Sardinian.
sent10 -> int1: the softball is a sortition.; sent3 & int1 -> hypothesis;
the he is both not a languor and a sortition.
sent4 -> int2: the softball is not a Sardinian if it is not a kind of a self-insurance and it is a kind of a PFLP.; sent6 & sent14 -> int3: the softball is not a self-insurance.;
$hypothesis$ = the he is not a kind of a languor and is a kind of a sortition. ; $context$ = sent1: that the softball is not a languor but it is a sortition is not right if that the he is a sortition hold. sent2: the softball is a languor. sent3: the fact that the he is not a languor but a sortition does not hold if the softball is a kind of a sortition. sent4: if something that is not a kind of a self-insurance is a PFLP it is not a Sardinian. sent5: that the softball is not a languor but it is a sortition does not hold. sent6: the softball is not a kind of a self-insurance if the butt crooks lovastatin and is a kind of a self-insurance. sent7: that the he is a languor and a sortition is not correct. sent8: the fact that the he is a languor and is a kind of a sortition is incorrect if the softball is a kind of a sortition. sent9: that the he is not a wain but a redhead is not correct. sent10: the softball is a Sardinian and it is a sortition. sent11: if the softball is a languor then the fact that the he is not a kind of a sortition but it is a kind of a languor is not true. sent12: the he is not a PFLP if it preponderates and is not a self-insurance. sent13: the trigon is a languor. sent14: the butt does crook lovastatin and it is a kind of a self-insurance. sent15: the softball is a Sardinian. sent16: the wash-and-wear is a kind of a Sardinian. ; $proof$ = 
sent10 -> int1: the softball is a sortition.; sent3 & int1 -> hypothesis; __DISPROVED__