either the patronaging Aframomum does not occur or the translunarness does not occur or both.
sent1: that the poulticing Djanet happens and the directionalness occurs is not wrong. sent2: if the nasopharyngealness happens then the multiplying leaf-miner happens. sent3: the poulticing Djanet occurs if the multiplying leaf-miner does not occur and the directionalness does not occur. sent4: if the spicateness does not occur the fact that the shellfire occurs is true. sent5: both the nasopharyngealness and the shellfire happens if the spicateness does not occur. sent6: the spicateness does not occur. sent7: the neutralness happens. sent8: both the crystallizing and the poulticing senator happens if the trigonometricness does not occur.
sent1 -> int1: the directionalness occurs.; void -> assump1: Let's assume that the patronaging Aframomum occurs.; int1 & assump1 -> int2: the directionalness and the patronaging Aframomum happens.; sent5 & sent6 -> int3: the nasopharyngealness and the shellfire occurs.; int3 -> int4: the nasopharyngealness occurs.; sent2 & int4 -> int5: the multiplying leaf-miner occurs.;
that either the patronaging Aframomum does not occur or the translunarness does not occur or both is not right.
$hypothesis$ = either the patronaging Aframomum does not occur or the translunarness does not occur or both. ; $context$ = sent1: that the poulticing Djanet happens and the directionalness occurs is not wrong. sent2: if the nasopharyngealness happens then the multiplying leaf-miner happens. sent3: the poulticing Djanet occurs if the multiplying leaf-miner does not occur and the directionalness does not occur. sent4: if the spicateness does not occur the fact that the shellfire occurs is true. sent5: both the nasopharyngealness and the shellfire happens if the spicateness does not occur. sent6: the spicateness does not occur. sent7: the neutralness happens. sent8: both the crystallizing and the poulticing senator happens if the trigonometricness does not occur. ; $proof$ = 
sent1 -> int1: the directionalness occurs.; void -> assump1: Let's assume that the patronaging Aframomum occurs.; int1 & assump1 -> int2: the directionalness and the patronaging Aframomum happens.; sent5 & sent6 -> int3: the nasopharyngealness and the shellfire occurs.; int3 -> int4: the nasopharyngealness occurs.; sent2 & int4 -> int5: the multiplying leaf-miner occurs.; __UNKNOWN__