the fact that the Twinkie is a Funk is not incorrect.
sent1: if the fact that something is a kind of a subordination that entrenches Taricha does not hold then it is not a subordination. sent2: that the tetrahydrocannabinol is a subordination and it does entrench Taricha does not hold if there is something such that it is not a kind of a subordination. sent3: if the Muscat does smooch the Twinkie is a Funk. sent4: the fact that the trioxide jazzes Anouilh but it is not a nailfile is incorrect. sent5: if something is not washable then that it is a kind of a subordination and it is not a kind of a bacteriologist is wrong. sent6: if there is something such that that it is both not a Corse and not logistic is incorrect then the trioxide does not smooch. sent7: the Twinkie is a Funk if the fact that the Muscat is not logistic and does not smooch is false. sent8: the fact that the trioxide does not jazz Anouilh and is not a nailfile does not hold. sent9: that the trioxide does not jazz Anouilh and is a nailfile does not hold. sent10: that the Muscat is a kind of non-logistic thing that does not smooch is not right if the treelet does not smooch. sent11: if the fact that the treelet is a subordination but not a bacteriologist is false that it is not a kind of a subordination hold. sent12: if the tetrahydrocannabinol is not a subordination then the fact that it is not a kind of a Corse and it is not logistic is false. sent13: the tetrahydrocannabinol is a kind of a Corse if that the fact that the trioxide does not jazz Anouilh and is not a kind of a nailfile does not hold is not incorrect. sent14: everything is not washable and not rayless.
sent13 & sent8 -> int1: the fact that the tetrahydrocannabinol is a kind of a Corse is not wrong.;
the Twinkie is not a kind of a Funk.
sent5 -> int2: if the Muscat is not washable the fact that it is a subordination that is not a bacteriologist is not true.; sent14 -> int3: the Muscat is both nonwashable and non-rayless.; int3 -> int4: that the Muscat is not washable is true.; int2 & int4 -> int5: that the Muscat is a subordination that is not a bacteriologist does not hold.; int5 -> int6: there exists nothing such that it is a subordination and it is not a bacteriologist.; int6 -> int7: that the treelet is both a subordination and not a bacteriologist is not right.; int7 & sent11 -> int8: the treelet is not a subordination.; int8 -> int9: there is something such that it is not a kind of a subordination.; sent2 & int9 -> int10: the fact that the tetrahydrocannabinol is a subordination and does entrench Taricha is not correct.; sent1 -> int11: if that the tetrahydrocannabinol is a subordination that does entrench Taricha is wrong it is not a subordination.; int10 & int11 -> int12: the tetrahydrocannabinol is not a subordination.; int12 & sent12 -> int13: that the tetrahydrocannabinol is not a kind of a Corse and is not logistic is not true.; int13 -> int14: there exists something such that that it is not a kind of a Corse and it is not logistic is false.; sent6 & int14 -> int15: the trioxide does not smooch.; int15 -> int16: there exists something such that it does not smooch.;
$hypothesis$ = the fact that the Twinkie is a Funk is not incorrect. ; $context$ = sent1: if the fact that something is a kind of a subordination that entrenches Taricha does not hold then it is not a subordination. sent2: that the tetrahydrocannabinol is a subordination and it does entrench Taricha does not hold if there is something such that it is not a kind of a subordination. sent3: if the Muscat does smooch the Twinkie is a Funk. sent4: the fact that the trioxide jazzes Anouilh but it is not a nailfile is incorrect. sent5: if something is not washable then that it is a kind of a subordination and it is not a kind of a bacteriologist is wrong. sent6: if there is something such that that it is both not a Corse and not logistic is incorrect then the trioxide does not smooch. sent7: the Twinkie is a Funk if the fact that the Muscat is not logistic and does not smooch is false. sent8: the fact that the trioxide does not jazz Anouilh and is not a nailfile does not hold. sent9: that the trioxide does not jazz Anouilh and is a nailfile does not hold. sent10: that the Muscat is a kind of non-logistic thing that does not smooch is not right if the treelet does not smooch. sent11: if the fact that the treelet is a subordination but not a bacteriologist is false that it is not a kind of a subordination hold. sent12: if the tetrahydrocannabinol is not a subordination then the fact that it is not a kind of a Corse and it is not logistic is false. sent13: the tetrahydrocannabinol is a kind of a Corse if that the fact that the trioxide does not jazz Anouilh and is not a kind of a nailfile does not hold is not incorrect. sent14: everything is not washable and not rayless. ; $proof$ = 
sent13 & sent8 -> int1: the fact that the tetrahydrocannabinol is a kind of a Corse is not wrong.; __UNKNOWN__