the racquetball is a stomp.
sent1: the strongbox does append and it is a kind of a dideoxycytosine if the peripatetic is not microcephalic. sent2: that that the SACLANT animadverts and is not a knuckleball does not hold is not false if there is something such that it is a Anu. sent3: the fact that something is not a kind of a Anu if the fact that it animadverts and it is a knuckleball does not hold hold. sent4: the peripatetic is not microcephalic. sent5: if the SACLANT is amitotic the racquetball is a stomp. sent6: if there is something such that it appends and is a dideoxycytosine the hybridoma is not fungal. sent7: the SACLANT is reasonable if the fact that the racquetball is both not a Anu and not reasonable is not true. sent8: if that the twist is a trot and amitotic is not correct the SACLANT is amitotic. sent9: if something is not a Anu then it is not a stomp. sent10: that something is a kind of a trot and it is amitotic does not hold if it is not fungal. sent11: if the SACLANT is not amitotic then the fact that the racquetball animadverts and it is a kind of a knuckleball is wrong. sent12: something is not fungal if that it is fungal and it does not scout finished is not true. sent13: there is something such that it is a Anu. sent14: if the twist does not animadvert then that the racquetball is not a Anu and it is not reasonable does not hold.
sent13 & sent2 -> int1: the fact that the fact that the SACLANT animadverts and is not a knuckleball is correct is wrong.;
the racquetball is not a stomp.
sent9 -> int2: if the racquetball is not a Anu it is not a stomp.; sent3 -> int3: the racquetball is not a Anu if that it does animadvert and it is a knuckleball does not hold.; sent10 -> int4: the fact that the twist is a trot and is amitotic does not hold if the fact that it is not fungal hold.; sent12 -> int5: the twist is not fungal if that it is fungal and it does not scout finished is not right.; sent1 & sent4 -> int6: the strongbox appends and it is a dideoxycytosine.; int6 -> int7: there is something such that it does append and it is a dideoxycytosine.; int7 & sent6 -> int8: the hybridoma is not fungal.; int8 -> int9: there is something such that it is not fungal.;
$hypothesis$ = the racquetball is a stomp. ; $context$ = sent1: the strongbox does append and it is a kind of a dideoxycytosine if the peripatetic is not microcephalic. sent2: that that the SACLANT animadverts and is not a knuckleball does not hold is not false if there is something such that it is a Anu. sent3: the fact that something is not a kind of a Anu if the fact that it animadverts and it is a knuckleball does not hold hold. sent4: the peripatetic is not microcephalic. sent5: if the SACLANT is amitotic the racquetball is a stomp. sent6: if there is something such that it appends and is a dideoxycytosine the hybridoma is not fungal. sent7: the SACLANT is reasonable if the fact that the racquetball is both not a Anu and not reasonable is not true. sent8: if that the twist is a trot and amitotic is not correct the SACLANT is amitotic. sent9: if something is not a Anu then it is not a stomp. sent10: that something is a kind of a trot and it is amitotic does not hold if it is not fungal. sent11: if the SACLANT is not amitotic then the fact that the racquetball animadverts and it is a kind of a knuckleball is wrong. sent12: something is not fungal if that it is fungal and it does not scout finished is not true. sent13: there is something such that it is a Anu. sent14: if the twist does not animadvert then that the racquetball is not a Anu and it is not reasonable does not hold. ; $proof$ = 
sent13 & sent2 -> int1: the fact that the fact that the SACLANT animadverts and is not a knuckleball is correct is wrong.; __UNKNOWN__