the pinworm is not a south.
sent1: something is semiotic but not cerebral if it is not a fever. sent2: if the publication is not a consumerism then the stair-carpet does not sniff. sent3: if the assayer is a domicile it does piece spinsterhood and it is not a sniff. sent4: the stair-carpet is a fever. sent5: the ward is a sniff. sent6: if the pinworm is not a consumerism then it is a south and is a fever. sent7: the publication does not piece spinsterhood. sent8: if something does not sniff and it is not a domicile then it is not a kind of a consumerism. sent9: the pinworm is not a kind of a south if that the assayer pieces spinsterhood is true. sent10: the assayer pieces spinsterhood if the publication is not a fever but a domicile. sent11: the publication is a domicile. sent12: the fact that the publication is not a kind of a consumerism is not false if it is semiotic and non-Donnean. sent13: the publication is semiotic and non-Donnean if it is a kind of a fever. sent14: if the publication pieces spinsterhood the pinworm is not a sniff and not a domicile.
void -> assump1: Let's assume that the publication is a fever.; sent13 & assump1 -> int1: the publication is both semiotic and not Donnean.; int1 & sent12 -> int2: the publication is not a consumerism.; int2 & sent2 -> int3: that the stair-carpet is not a kind of a sniff hold.;
the plastic is semiotic but not cerebral.
sent1 -> int4: if the plastic is not a fever then it is semiotic and it is not cerebral.;
$hypothesis$ = the pinworm is not a south. ; $context$ = sent1: something is semiotic but not cerebral if it is not a fever. sent2: if the publication is not a consumerism then the stair-carpet does not sniff. sent3: if the assayer is a domicile it does piece spinsterhood and it is not a sniff. sent4: the stair-carpet is a fever. sent5: the ward is a sniff. sent6: if the pinworm is not a consumerism then it is a south and is a fever. sent7: the publication does not piece spinsterhood. sent8: if something does not sniff and it is not a domicile then it is not a kind of a consumerism. sent9: the pinworm is not a kind of a south if that the assayer pieces spinsterhood is true. sent10: the assayer pieces spinsterhood if the publication is not a fever but a domicile. sent11: the publication is a domicile. sent12: the fact that the publication is not a kind of a consumerism is not false if it is semiotic and non-Donnean. sent13: the publication is semiotic and non-Donnean if it is a kind of a fever. sent14: if the publication pieces spinsterhood the pinworm is not a sniff and not a domicile. ; $proof$ = 
void -> assump1: Let's assume that the publication is a fever.; sent13 & assump1 -> int1: the publication is both semiotic and not Donnean.; int1 & sent12 -> int2: the publication is not a consumerism.; int2 & sent2 -> int3: that the stair-carpet is not a kind of a sniff hold.; __UNKNOWN__