the fact that something is a Formicarius and equitable is wrong.
sent1: that the saute is unfathomable and is not equitable is not correct if it is not a Formicarius. sent2: if that something is unfathomable and is not equitable does not hold the fact that it is a kind of a shamelessness is right. sent3: there exists something such that it is unfathomable. sent4: The mooring does debar solan. sent5: there are equitable things. sent6: the solan is equitable if something is unfathomable. sent7: the solan is a antidiabetic if there is something such that it untunes disk. sent8: the mooring is a mailbox. sent9: the solan does debar mooring. sent10: if that the solan does debar mooring is not wrong then it is a Formicarius. sent11: the saute is not a Lao. sent12: if the saute is not Lao then it is not a NARA and it is not a kind of a familiar. sent13: something debars mooring and debars uropathy if it is not a NARA. sent14: if the mooring is a mailbox then the solan is psychometric. sent15: the fact that the solan is midi hold.
sent3 & sent6 -> int1: that the solan is equitable hold.; sent10 & sent9 -> int2: the solan is a Formicarius.; int1 & int2 -> int3: the solan is a kind of a Formicarius and it is equitable.; int3 -> hypothesis;
the saute debars mooring and it is a shamelessness.
sent13 -> int4: if the saute is not a NARA then it debars mooring and it does debar uropathy.; sent12 & sent11 -> int5: the saute is not a NARA and it is not a familiar.; int5 -> int6: the saute is not a NARA.; int4 & int6 -> int7: the saute debars mooring and does debar uropathy.; int7 -> int8: the saute does debar mooring.; sent2 -> int9: the fact that the saute is a kind of a shamelessness is correct if the fact that it is a kind of unfathomable thing that is not equitable is false.; sent14 & sent8 -> int10: the solan is psychometric.; int10 -> int11: there exists something such that it is psychometric.;
$hypothesis$ = the fact that something is a Formicarius and equitable is wrong. ; $context$ = sent1: that the saute is unfathomable and is not equitable is not correct if it is not a Formicarius. sent2: if that something is unfathomable and is not equitable does not hold the fact that it is a kind of a shamelessness is right. sent3: there exists something such that it is unfathomable. sent4: The mooring does debar solan. sent5: there are equitable things. sent6: the solan is equitable if something is unfathomable. sent7: the solan is a antidiabetic if there is something such that it untunes disk. sent8: the mooring is a mailbox. sent9: the solan does debar mooring. sent10: if that the solan does debar mooring is not wrong then it is a Formicarius. sent11: the saute is not a Lao. sent12: if the saute is not Lao then it is not a NARA and it is not a kind of a familiar. sent13: something debars mooring and debars uropathy if it is not a NARA. sent14: if the mooring is a mailbox then the solan is psychometric. sent15: the fact that the solan is midi hold. ; $proof$ = 
sent3 & sent6 -> int1: that the solan is equitable hold.; sent10 & sent9 -> int2: the solan is a Formicarius.; int1 & int2 -> int3: the solan is a kind of a Formicarius and it is equitable.; int3 -> hypothesis; __DISPROVED__