the fact that the positivist does overrefine cigarfish but it is not a cinder is not true.
sent1: something is pyrogenic. sent2: if the hell-kite is not an errand the Nigerien does not avail and it is not pyrogenic. sent3: there is something such that it does not coast. sent4: that something does overrefine Atlantic but it is not pyrogenic is not right if it does coast. sent5: if something that is not a boughed is a kind of a partitive the fact that it is not an errand hold. sent6: that the matelote is Tuscan but it is not pyrogenic is not right. sent7: the positivist overrefines cigarfish and is not a cinder if the RA coasts. sent8: the positivist is not a partitive. sent9: if the positivist overrefines cigarfish and it is a cinder it is not pyrogenic. sent10: if something is a subjunctive then it is both not a boughed and partitive. sent11: the taxpayer congratulates yuan but it is not pyrogenic. sent12: if the positivist does overrefine cigarfish and is not a cinder then it is not pyrogenic. sent13: the fact that the positivist is not irrelevant is true if it is pyrogenic and is not a kind of a Baphia. sent14: the hell-kite is a subjunctive if it does page harassment. sent15: that the positivist overrefines cigarfish and it is a kind of a cinder does not hold.
void -> assump1: Let's assume that the positivist does overrefine cigarfish and is not a kind of a cinder.; sent12 & assump1 -> int1: the positivist is not pyrogenic.;
that the ammonium does overrefine Atlantic and is not pyrogenic is false.
sent4 -> int2: the fact that the ammonium overrefines Atlantic but it is not pyrogenic is false if it is a coast.;
$hypothesis$ = the fact that the positivist does overrefine cigarfish but it is not a cinder is not true. ; $context$ = sent1: something is pyrogenic. sent2: if the hell-kite is not an errand the Nigerien does not avail and it is not pyrogenic. sent3: there is something such that it does not coast. sent4: that something does overrefine Atlantic but it is not pyrogenic is not right if it does coast. sent5: if something that is not a boughed is a kind of a partitive the fact that it is not an errand hold. sent6: that the matelote is Tuscan but it is not pyrogenic is not right. sent7: the positivist overrefines cigarfish and is not a cinder if the RA coasts. sent8: the positivist is not a partitive. sent9: if the positivist overrefines cigarfish and it is a cinder it is not pyrogenic. sent10: if something is a subjunctive then it is both not a boughed and partitive. sent11: the taxpayer congratulates yuan but it is not pyrogenic. sent12: if the positivist does overrefine cigarfish and is not a cinder then it is not pyrogenic. sent13: the fact that the positivist is not irrelevant is true if it is pyrogenic and is not a kind of a Baphia. sent14: the hell-kite is a subjunctive if it does page harassment. sent15: that the positivist overrefines cigarfish and it is a kind of a cinder does not hold. ; $proof$ = 
void -> assump1: Let's assume that the positivist does overrefine cigarfish and is not a kind of a cinder.; sent12 & assump1 -> int1: the positivist is not pyrogenic.; __UNKNOWN__