the scup is a XYY.
sent1: the squash is an audience if it is not a XYY. sent2: if the armature is not a kind of a Masoud that it does not liquefy and it does not nap does not hold. sent3: the scup is a kind of a XYY if it is not a nap. sent4: the ancestress does not nap. sent5: the scup is not a kind of an audience. sent6: if there exists something such that the fact that it is an audience is correct the scup is not a nap. sent7: the squash is a kind of a nap. sent8: the squash is a Minden. sent9: if the squash is not a kind of a XYY that it is a Minden is true. sent10: there is something such that it is either a XYY or a Minden or both. sent11: the Bannister naps. sent12: the fact that the squash is a garden is not incorrect. sent13: there is something such that it does howl. sent14: the neostigmine is a kind of a XYY. sent15: if something does howl then the armature remainders gadolinite and is not a Masoud. sent16: if something is a kind of an audience and/or it is a Minden the scup is not a kind of a nap.
sent8 -> int1: the squash is a kind of an audience and/or it is a kind of a Minden.; int1 -> int2: either something is an audience or it is a Minden or both.; int2 & sent16 -> int3: the scup is not a nap.; int3 & sent3 -> hypothesis;
the scup is not a XYY.
sent13 & sent15 -> int4: the armature does remainder gadolinite but it is not a kind of a Masoud.; int4 -> int5: the armature is not a kind of a Masoud.; sent2 & int5 -> int6: that that the armature does not liquefy and is not a kind of a nap is true is not true.; int6 -> int7: there is something such that the fact that it does not liquefy and is not a nap is not right.;
$hypothesis$ = the scup is a XYY. ; $context$ = sent1: the squash is an audience if it is not a XYY. sent2: if the armature is not a kind of a Masoud that it does not liquefy and it does not nap does not hold. sent3: the scup is a kind of a XYY if it is not a nap. sent4: the ancestress does not nap. sent5: the scup is not a kind of an audience. sent6: if there exists something such that the fact that it is an audience is correct the scup is not a nap. sent7: the squash is a kind of a nap. sent8: the squash is a Minden. sent9: if the squash is not a kind of a XYY that it is a Minden is true. sent10: there is something such that it is either a XYY or a Minden or both. sent11: the Bannister naps. sent12: the fact that the squash is a garden is not incorrect. sent13: there is something such that it does howl. sent14: the neostigmine is a kind of a XYY. sent15: if something does howl then the armature remainders gadolinite and is not a Masoud. sent16: if something is a kind of an audience and/or it is a Minden the scup is not a kind of a nap. ; $proof$ = 
sent8 -> int1: the squash is a kind of an audience and/or it is a kind of a Minden.; int1 -> int2: either something is an audience or it is a Minden or both.; int2 & sent16 -> int3: the scup is not a nap.; int3 & sent3 -> hypothesis; __PROVED__