there is something such that the fact that it is not a jug and is not a kind of a myxosporidian is not correct.
sent1: if the trousseau is not ballistics the fact that it is a jug and is not a kind of a myxosporidian is not correct. sent2: the Cypriot is impervious and a firedamp. sent3: the fact that the Cypriot is not ballistics but it is a firedamp is incorrect if that it is a kind of a myxosporidian hold. sent4: the ormer is a firedamp. sent5: if the trousseau is possessive and/or it is ballistics the Cypriot is not a kind of a firedamp. sent6: a non-possessive thing is pervious.
void -> assump1: Let's assume that the trousseau is ballistics.; assump1 -> int1: the trousseau is possessive and/or it is ballistics.; int1 & sent5 -> int2: the Cypriot is not a firedamp.; sent2 -> int3: the Cypriot is a firedamp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the trousseau is not ballistics.;
the trousseau is not impervious.
sent6 -> int6: the trousseau is pervious if it is not possessive.;
$hypothesis$ = there is something such that the fact that it is not a jug and is not a kind of a myxosporidian is not correct. ; $context$ = sent1: if the trousseau is not ballistics the fact that it is a jug and is not a kind of a myxosporidian is not correct. sent2: the Cypriot is impervious and a firedamp. sent3: the fact that the Cypriot is not ballistics but it is a firedamp is incorrect if that it is a kind of a myxosporidian hold. sent4: the ormer is a firedamp. sent5: if the trousseau is possessive and/or it is ballistics the Cypriot is not a kind of a firedamp. sent6: a non-possessive thing is pervious. ; $proof$ = 
void -> assump1: Let's assume that the trousseau is ballistics.; assump1 -> int1: the trousseau is possessive and/or it is ballistics.; int1 & sent5 -> int2: the Cypriot is not a firedamp.; sent2 -> int3: the Cypriot is a firedamp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the trousseau is not ballistics.; __UNKNOWN__