the Parisienne is non-repulsive and not a Cancridae.
sent1: the faille is capsular. sent2: if that something is not psychiatric but it is a Cancridae does not hold it is not a Cancridae. sent3: the aunt tins aunt if the supergiant roofs anthologist. sent4: the Parisienne does fascinate. sent5: the fact that the Parisienne is not psychiatric and is a Cancridae is not right if the aunt is capsular. sent6: if the aunt is repulsive then that the Parisienne is not a Cancridae but it does roof anthologist is not true. sent7: if there is something such that it is not capsular the aunt is a Montagu and does roof anthologist. sent8: the Parisienne does roof anthologist and is a kind of a Montagu if there is something such that it does not tin aunt. sent9: there are cardiologic things. sent10: something is a kina. sent11: there exists something such that it does not tin aunt. sent12: the fact that the aunt does not roof upholder but it is psychiatric does not hold. sent13: something does not refrain if it is a jesting and it is a zoster. sent14: the aunt is capsular. sent15: the fact that the alpha-tocopheral is not psychiatric but a lockstep does not hold. sent16: something is not a lockstep. sent17: the Parisienne is both not non-capsular and not non-repulsive if there is something such that it does not roof anthologist. sent18: if something roofs anthologist and it is a Montagu then it is not repulsive.
sent11 & sent8 -> int1: that the Parisienne roofs anthologist and is a kind of a Montagu is correct.; sent18 -> int2: the Parisienne is not repulsive if it roofs anthologist and it is a kind of a Montagu.; int1 & int2 -> int3: the fact that the Parisienne is not repulsive is not false.; sent2 -> int4: the fact that the Parisienne is a Cancridae is not correct if that it is not psychiatric and is a Cancridae does not hold.; sent5 & sent14 -> int5: the fact that the Parisienne is non-psychiatric thing that is a kind of a Cancridae is incorrect.; int4 & int5 -> int6: the Parisienne is not a kind of a Cancridae.; int3 & int6 -> hypothesis;
the fact that the Parisienne is not repulsive and not a Cancridae does not hold.
$hypothesis$ = the Parisienne is non-repulsive and not a Cancridae. ; $context$ = sent1: the faille is capsular. sent2: if that something is not psychiatric but it is a Cancridae does not hold it is not a Cancridae. sent3: the aunt tins aunt if the supergiant roofs anthologist. sent4: the Parisienne does fascinate. sent5: the fact that the Parisienne is not psychiatric and is a Cancridae is not right if the aunt is capsular. sent6: if the aunt is repulsive then that the Parisienne is not a Cancridae but it does roof anthologist is not true. sent7: if there is something such that it is not capsular the aunt is a Montagu and does roof anthologist. sent8: the Parisienne does roof anthologist and is a kind of a Montagu if there is something such that it does not tin aunt. sent9: there are cardiologic things. sent10: something is a kina. sent11: there exists something such that it does not tin aunt. sent12: the fact that the aunt does not roof upholder but it is psychiatric does not hold. sent13: something does not refrain if it is a jesting and it is a zoster. sent14: the aunt is capsular. sent15: the fact that the alpha-tocopheral is not psychiatric but a lockstep does not hold. sent16: something is not a lockstep. sent17: the Parisienne is both not non-capsular and not non-repulsive if there is something such that it does not roof anthologist. sent18: if something roofs anthologist and it is a Montagu then it is not repulsive. ; $proof$ = 
sent11 & sent8 -> int1: that the Parisienne roofs anthologist and is a kind of a Montagu is correct.; sent18 -> int2: the Parisienne is not repulsive if it roofs anthologist and it is a kind of a Montagu.; int1 & int2 -> int3: the fact that the Parisienne is not repulsive is not false.; sent2 -> int4: the fact that the Parisienne is a Cancridae is not correct if that it is not psychiatric and is a Cancridae does not hold.; sent5 & sent14 -> int5: the fact that the Parisienne is non-psychiatric thing that is a kind of a Cancridae is incorrect.; int4 & int5 -> int6: the Parisienne is not a kind of a Cancridae.; int3 & int6 -> hypothesis; __PROVED__