if the succession is iridic it is not probable and it is not a kind of a dichlorodiphenyltrichloroethane.
sent1: if there exists something such that that it is penile is false the succession is not pneumogastric and it is not hydrostatic. sent2: the mucus is sarcastic. sent3: if the succession is iridic then it is not a dichlorodiphenyltrichloroethane. sent4: if a iridic thing is not a kind of a krigia it is not a quarrel. sent5: the customhouse is not gravitational. sent6: if a non-pneumogastric thing is not hydrostatic it is not a krigia. sent7: the succession is not pneumogastric if there are non-penile things. sent8: the mucus is a Ephesian. sent9: something is not penile if that it is a Ephesian and it is sarcastic is not false.
sent8 & sent2 -> int1: the mucus is both not non-Ephesian and not unsarcastic.; sent9 -> int2: if the mucus is a kind of a Ephesian and it is sarcastic then it is not penile.; int1 & int2 -> int3: the mucus is not penile.; int3 -> int4: the fact that there are non-penile things hold.; int4 & sent1 -> int5: the succession is not pneumogastric and it is not hydrostatic.; sent6 -> int6: if the succession is non-pneumogastric but not hydrostatic it is not a kind of a krigia.; int5 & int6 -> int7: the succession is not a kind of a krigia.; void -> assump1: Let's assume that the succession is iridic.; int7 & assump1 -> int8: the succession is iridic but it is not a kind of a krigia.; sent4 -> int9: the succession is not a quarrel if it is iridic and it is not a kind of a krigia.; int8 & int9 -> int10: the succession does not quarrel.;
$hypothesis$ = if the succession is iridic it is not probable and it is not a kind of a dichlorodiphenyltrichloroethane. ; $context$ = sent1: if there exists something such that that it is penile is false the succession is not pneumogastric and it is not hydrostatic. sent2: the mucus is sarcastic. sent3: if the succession is iridic then it is not a dichlorodiphenyltrichloroethane. sent4: if a iridic thing is not a kind of a krigia it is not a quarrel. sent5: the customhouse is not gravitational. sent6: if a non-pneumogastric thing is not hydrostatic it is not a krigia. sent7: the succession is not pneumogastric if there are non-penile things. sent8: the mucus is a Ephesian. sent9: something is not penile if that it is a Ephesian and it is sarcastic is not false. ; $proof$ = 
sent8 & sent2 -> int1: the mucus is both not non-Ephesian and not unsarcastic.; sent9 -> int2: if the mucus is a kind of a Ephesian and it is sarcastic then it is not penile.; int1 & int2 -> int3: the mucus is not penile.; int3 -> int4: the fact that there are non-penile things hold.; int4 & sent1 -> int5: the succession is not pneumogastric and it is not hydrostatic.; sent6 -> int6: if the succession is non-pneumogastric but not hydrostatic it is not a kind of a krigia.; int5 & int6 -> int7: the succession is not a kind of a krigia.; void -> assump1: Let's assume that the succession is iridic.; int7 & assump1 -> int8: the succession is iridic but it is not a kind of a krigia.; sent4 -> int9: the succession is not a quarrel if it is iridic and it is not a kind of a krigia.; int8 & int9 -> int10: the succession does not quarrel.; __UNKNOWN__