there is something such that it is a Pythius and it is successful.
sent1: the fatso is adamantine and it is retinal. sent2: the nostril is precocial and it is a Pythius. sent3: the aerie is an exporting if that it is not successful and it is not a Pythius is not right. sent4: the fatso is a kind of a pragmatic. sent5: that the aerie is not retinal but it does whang Explorer is incorrect. sent6: the aerie does export if that it is not successful and it does not whang Explorer is wrong. sent7: the aerie is a Pythius if the fatso exports. sent8: there is something such that it is a kind of a Pythius. sent9: the fatso is not scriptural. sent10: that the fact that the naiad does not lap bottomed and does not whang Explorer is wrong if the naiad is not elegiac is not false. sent11: the fact that the aerie is not heartless is right. sent12: there is something such that it is successful. sent13: the aerie is dependable if it is scriptural. sent14: the aerie is a policeman. sent15: if something whangs Explorer then it is successful. sent16: the Oto is a Pythius. sent17: the iodide is scriptural. sent18: if that something is not alienable and it is not a kind of a Czerny is not right it is a kind of a Bosch. sent19: the album is incontestable and it is scriptural. sent20: that the aerie is not scriptural and it does not export does not hold. sent21: that the fatso is a gallop is correct. sent22: if the fact that something is a kind of non-retinal thing that does not whang Explorer does not hold then it is successful. sent23: that the aerie is not scriptural is right. sent24: the fact that the aerie is a kind of non-retinal thing that does not whang Explorer is not true if it is non-scriptural.
sent22 -> int1: the aerie is successful if the fact that it is a kind of non-retinal thing that does not whang Explorer does not hold.; sent24 & sent23 -> int2: the fact that the aerie is not retinal and it does not whang Explorer is wrong.; int1 & int2 -> int3: that the aerie is not unsuccessful hold.;
$hypothesis$ = there is something such that it is a Pythius and it is successful. ; $context$ = sent1: the fatso is adamantine and it is retinal. sent2: the nostril is precocial and it is a Pythius. sent3: the aerie is an exporting if that it is not successful and it is not a Pythius is not right. sent4: the fatso is a kind of a pragmatic. sent5: that the aerie is not retinal but it does whang Explorer is incorrect. sent6: the aerie does export if that it is not successful and it does not whang Explorer is wrong. sent7: the aerie is a Pythius if the fatso exports. sent8: there is something such that it is a kind of a Pythius. sent9: the fatso is not scriptural. sent10: that the fact that the naiad does not lap bottomed and does not whang Explorer is wrong if the naiad is not elegiac is not false. sent11: the fact that the aerie is not heartless is right. sent12: there is something such that it is successful. sent13: the aerie is dependable if it is scriptural. sent14: the aerie is a policeman. sent15: if something whangs Explorer then it is successful. sent16: the Oto is a Pythius. sent17: the iodide is scriptural. sent18: if that something is not alienable and it is not a kind of a Czerny is not right it is a kind of a Bosch. sent19: the album is incontestable and it is scriptural. sent20: that the aerie is not scriptural and it does not export does not hold. sent21: that the fatso is a gallop is correct. sent22: if the fact that something is a kind of non-retinal thing that does not whang Explorer does not hold then it is successful. sent23: that the aerie is not scriptural is right. sent24: the fact that the aerie is a kind of non-retinal thing that does not whang Explorer is not true if it is non-scriptural. ; $proof$ = 
sent22 -> int1: the aerie is successful if the fact that it is a kind of non-retinal thing that does not whang Explorer does not hold.; sent24 & sent23 -> int2: the fact that the aerie is not retinal and it does not whang Explorer is wrong.; int1 & int2 -> int3: that the aerie is not unsuccessful hold.; __UNKNOWN__