the fact that the Lastex is both not non-preprandial and non-inaugural does not hold.
sent1: the fact that the Tutu does not border Berkeley is not incorrect. sent2: the phone is not a Nijinsky. sent3: the fact that the Lastex is both preprandial and non-inaugural is incorrect if the Tutu is not a kind of a non-inaugural. sent4: the fact that the Lastex is a sourball but it is not a kind of an inaugural does not hold. sent5: the Tutu is not a sourball if the fact that the Lastex does not border Berkeley and is preprandial is false. sent6: that the Jacquard borders bain-marie and does not charm does not hold. sent7: the Lastex is a Parrish. sent8: that the phone is not non-inaugural and is not a sourball is not correct if the Tutu is not a sourball. sent9: the Tutu is not a kind of an inaugural if something is a sourball. sent10: the Lastex is a coronary. sent11: if something is a perspirer but it is not a kind of a Nijinsky then it is a sourball. sent12: the phone is a kind of a perspirer. sent13: the Tutu is inaugural if the fact that it is both a perspirer and not a sourball is not false.
sent11 -> int1: the phone is a sourball if it is a perspirer and not a Nijinsky.; sent12 & sent2 -> int2: the phone is a perspirer but it is not a Nijinsky.; int1 & int2 -> int3: the phone is a sourball.; int3 -> int4: something is a sourball.; int4 & sent9 -> int5: the Tutu is not a kind of an inaugural.; int5 & sent3 -> hypothesis;
there exists something such that it is a achromatin.
$hypothesis$ = the fact that the Lastex is both not non-preprandial and non-inaugural does not hold. ; $context$ = sent1: the fact that the Tutu does not border Berkeley is not incorrect. sent2: the phone is not a Nijinsky. sent3: the fact that the Lastex is both preprandial and non-inaugural is incorrect if the Tutu is not a kind of a non-inaugural. sent4: the fact that the Lastex is a sourball but it is not a kind of an inaugural does not hold. sent5: the Tutu is not a sourball if the fact that the Lastex does not border Berkeley and is preprandial is false. sent6: that the Jacquard borders bain-marie and does not charm does not hold. sent7: the Lastex is a Parrish. sent8: that the phone is not non-inaugural and is not a sourball is not correct if the Tutu is not a sourball. sent9: the Tutu is not a kind of an inaugural if something is a sourball. sent10: the Lastex is a coronary. sent11: if something is a perspirer but it is not a kind of a Nijinsky then it is a sourball. sent12: the phone is a kind of a perspirer. sent13: the Tutu is inaugural if the fact that it is both a perspirer and not a sourball is not false. ; $proof$ = 
sent11 -> int1: the phone is a sourball if it is a perspirer and not a Nijinsky.; sent12 & sent2 -> int2: the phone is a perspirer but it is not a Nijinsky.; int1 & int2 -> int3: the phone is a sourball.; int3 -> int4: something is a sourball.; int4 & sent9 -> int5: the Tutu is not a kind of an inaugural.; int5 & sent3 -> hypothesis; __PROVED__