if the firewall is a smash the yellowtail does not describe simulation.
sent1: that the firewall is ungual and is Kiplingesque does not hold. sent2: that the yellowtail does not describe simulation if the firewall smashes but it is not a kind of a precipitate is not incorrect. sent3: if the fact that something is a kind of non-ungual thing that is Kiplingesque is false then it is Thracian. sent4: if the firewall does smash then the yellowtail describes simulation. sent5: that the firewall is shambolic but it is not ceric is not correct. sent6: there exists nothing such that it is not shambolic and not ceric. sent7: there is nothing such that it is shambolic and it is not ceric. sent8: the appliance is a kind of a robe that is not Thracian. sent9: there exists nothing that does not exempt bilingual and does not cremate repeater. sent10: something smashes if that it is not ungual but Kiplingesque does not hold. sent11: the yellowtail describes simulation if the firewall is a smash and is not a kind of a precipitate. sent12: there is nothing such that it is not shambolic and it is ceric. sent13: if that something is not a precipitate and does not smash does not hold it does not describe simulation. sent14: something is a kind of a Thracian if it is ungual. sent15: if the firewall precipitates then that it is a kind of ungual thing that is Kiplingesque is not correct. sent16: something is not a kind of a Thracian if that it is non-shambolic and is not ceric is not correct. sent17: the fact that the yellowtail does not describe simulation and is a kind of a smash is wrong if the fact that it is ungual is right. sent18: the fact that the firewall is not shambolic but it is ceric is false. sent19: that the firewall is a kind of the Thracian if the firewall is ungual is right. sent20: the firewall does not describe simulation if the yellowtail is shambolic but it is not a precipitate. sent21: the yellowtail describes simulation.
void -> assump2: Let's assume that that the firewall is a precipitate is not incorrect.; sent3 -> int1: the firewall is Thracian if that it is not ungual but Kiplingesque is wrong.; sent16 -> int2: the firewall is not a Thracian if that it is both not shambolic and not ceric is wrong.; sent6 -> int3: that the firewall is not shambolic and it is not ceric is wrong.; int2 & int3 -> int4: the firewall is not a kind of a Thracian.;
$hypothesis$ = if the firewall is a smash the yellowtail does not describe simulation. ; $context$ = sent1: that the firewall is ungual and is Kiplingesque does not hold. sent2: that the yellowtail does not describe simulation if the firewall smashes but it is not a kind of a precipitate is not incorrect. sent3: if the fact that something is a kind of non-ungual thing that is Kiplingesque is false then it is Thracian. sent4: if the firewall does smash then the yellowtail describes simulation. sent5: that the firewall is shambolic but it is not ceric is not correct. sent6: there exists nothing such that it is not shambolic and not ceric. sent7: there is nothing such that it is shambolic and it is not ceric. sent8: the appliance is a kind of a robe that is not Thracian. sent9: there exists nothing that does not exempt bilingual and does not cremate repeater. sent10: something smashes if that it is not ungual but Kiplingesque does not hold. sent11: the yellowtail describes simulation if the firewall is a smash and is not a kind of a precipitate. sent12: there is nothing such that it is not shambolic and it is ceric. sent13: if that something is not a precipitate and does not smash does not hold it does not describe simulation. sent14: something is a kind of a Thracian if it is ungual. sent15: if the firewall precipitates then that it is a kind of ungual thing that is Kiplingesque is not correct. sent16: something is not a kind of a Thracian if that it is non-shambolic and is not ceric is not correct. sent17: the fact that the yellowtail does not describe simulation and is a kind of a smash is wrong if the fact that it is ungual is right. sent18: the fact that the firewall is not shambolic but it is ceric is false. sent19: that the firewall is a kind of the Thracian if the firewall is ungual is right. sent20: the firewall does not describe simulation if the yellowtail is shambolic but it is not a precipitate. sent21: the yellowtail describes simulation. ; $proof$ = 
void -> assump2: Let's assume that that the firewall is a precipitate is not incorrect.; sent3 -> int1: the firewall is Thracian if that it is not ungual but Kiplingesque is wrong.; sent16 -> int2: the firewall is not a Thracian if that it is both not shambolic and not ceric is wrong.; sent6 -> int3: that the firewall is not shambolic and it is not ceric is wrong.; int2 & int3 -> int4: the firewall is not a kind of a Thracian.; __UNKNOWN__