the wingstem is not a periselene but it is a rap.
sent1: that that something is not on-the-job and is a periselene is not true if it does not piddle is right. sent2: the fact that the blue is not a kind of an infernal is true if there exists something such that the fact that either it is Greek or it is expansive or both is false. sent3: the fact that something is not a periselene but it does rap does not hold if it is not an infernal. sent4: there is nothing such that it is a Greek and/or is expansive. sent5: if something is not an infernal it is a kind of non-on-the-job thing that is not a kind of a periselene. sent6: if something does not aggrieve the fact that it is on-the-job and it does piddle is not true.
sent4 -> int1: the fact that the chambray is either not non-Greek or expansive or both is not true.; int1 -> int2: there exists something such that the fact that it is a Greek and/or it is expansive is incorrect.; int2 & sent2 -> int3: the blue is not infernal.; sent5 -> int4: if the blue is not an infernal it is not on-the-job and is not a kind of a periselene.; int3 & int4 -> int5: the blue is a kind of non-on-the-job thing that is not a periselene.; int5 -> int6: the blue is not a periselene.;
the fact that the wingstem is not a periselene and is a kind of a rap is wrong.
sent3 -> int7: that the wingstem is not a kind of a periselene but it raps is wrong if it is not infernal.; sent6 -> int8: that the blue is on-the-job and it does piddle is wrong if it does not aggrieve.;
$hypothesis$ = the wingstem is not a periselene but it is a rap. ; $context$ = sent1: that that something is not on-the-job and is a periselene is not true if it does not piddle is right. sent2: the fact that the blue is not a kind of an infernal is true if there exists something such that the fact that either it is Greek or it is expansive or both is false. sent3: the fact that something is not a periselene but it does rap does not hold if it is not an infernal. sent4: there is nothing such that it is a Greek and/or is expansive. sent5: if something is not an infernal it is a kind of non-on-the-job thing that is not a kind of a periselene. sent6: if something does not aggrieve the fact that it is on-the-job and it does piddle is not true. ; $proof$ = 
sent4 -> int1: the fact that the chambray is either not non-Greek or expansive or both is not true.; int1 -> int2: there exists something such that the fact that it is a Greek and/or it is expansive is incorrect.; int2 & sent2 -> int3: the blue is not infernal.; sent5 -> int4: if the blue is not an infernal it is not on-the-job and is not a kind of a periselene.; int3 & int4 -> int5: the blue is a kind of non-on-the-job thing that is not a periselene.; int5 -> int6: the blue is not a periselene.; __UNKNOWN__