the extensor is a silver but not resinlike.
sent1: if something does crystallize tub-thumper and it is a erasure it is not a silver. sent2: the fact that something is a kind of a silver that is not resinlike is false if it does crystallize tub-thumper. sent3: the fingertip is undramatic. sent4: the simulacrum is a kind of a Dorado if the gambrel does not decrepitate. sent5: the gambrel is resinlike. sent6: if that something is not bronchiolar and is not a erasure is not correct then it is bronchiolar. sent7: the gambrel decrepitates if there exists something such that the fact that it is bronchiolar and it is not Tibetan is false. sent8: if that that something does not decrepitate and it does not silver is not incorrect is not right then it decrepitate. sent9: something is non-bronchiolar if it is a Tibetan and is a silver. sent10: the fact that something is both non-cereal and not patellar is not true if it does not reline priest. sent11: the fact that something is not a Dorado and does not crystallize tub-thumper is incorrect if it decrepitates. sent12: the simulacrum is bronchiolar. sent13: the fact that the fact that the demantoid is both a stoutness and not a bartlett is not true is not incorrect. sent14: if the personage does not weld stob and/or is hot then the Chinaman does not reline priest. sent15: the fact that the Dimetapp is bronchiolar thing that is not Tibetan is false if the simulacrum is not a erasure. sent16: if the fingertip is undramatic that the fact that the tub-thumper welds panpipe and does not weld Education is not wrong does not hold. sent17: the fact that the Dimetapp is not bronchiolar and it is not a erasure is not right. sent18: that that the simulacrum is not a kind of a erasure is not wrong if that the Chinaman is not a cereal and not patellar is wrong hold. sent19: if that something does weld panpipe and does not weld Education does not hold it is not a defeatism. sent20: the extensor shatters manul if the fact that it does not shatters manul and is not a erasure is not right. sent21: if the gambrel crystallizes tub-thumper then the simulacrum is a Dorado. sent22: if the Dimetapp does not crystallize tub-thumper then the gambrel is a kind of a erasure. sent23: if the simulacrum is a Dorado then the Dimetapp is a Tibetan. sent24: if the Dimetapp is not a silver the extensor does silver but it is not resinlike.
void -> assump1: Let's assume that the Dimetapp does silver.; sent9 -> int1: if the Dimetapp is both a Tibetan and a silver it is not bronchiolar.; sent6 -> int2: if the fact that the Dimetapp is both not bronchiolar and not a erasure is not right it is bronchiolar.; int2 & sent17 -> int3: the Dimetapp is bronchiolar.;
the fact that the extensor silvers but it is not resinlike does not hold.
sent2 -> int4: if the extensor does crystallize tub-thumper the fact that it is a silver and is not resinlike is not right.; sent11 -> int5: that the gambrel is not a Dorado and it does not crystallize tub-thumper is not right if it decrepitates.; sent10 -> int6: the fact that the Chinaman is not a cereal and it is not patellar is not true if it does not reline priest.; sent19 -> int7: if that the tub-thumper does weld panpipe and does not weld Education is false then it is not a defeatism.; sent16 & sent3 -> int8: the fact that the tub-thumper welds panpipe but it does not weld Education is wrong.; int7 & int8 -> int9: the tub-thumper is not a defeatism.; int9 -> int10: something is not a kind of a defeatism.;
$hypothesis$ = the extensor is a silver but not resinlike. ; $context$ = sent1: if something does crystallize tub-thumper and it is a erasure it is not a silver. sent2: the fact that something is a kind of a silver that is not resinlike is false if it does crystallize tub-thumper. sent3: the fingertip is undramatic. sent4: the simulacrum is a kind of a Dorado if the gambrel does not decrepitate. sent5: the gambrel is resinlike. sent6: if that something is not bronchiolar and is not a erasure is not correct then it is bronchiolar. sent7: the gambrel decrepitates if there exists something such that the fact that it is bronchiolar and it is not Tibetan is false. sent8: if that that something does not decrepitate and it does not silver is not incorrect is not right then it decrepitate. sent9: something is non-bronchiolar if it is a Tibetan and is a silver. sent10: the fact that something is both non-cereal and not patellar is not true if it does not reline priest. sent11: the fact that something is not a Dorado and does not crystallize tub-thumper is incorrect if it decrepitates. sent12: the simulacrum is bronchiolar. sent13: the fact that the fact that the demantoid is both a stoutness and not a bartlett is not true is not incorrect. sent14: if the personage does not weld stob and/or is hot then the Chinaman does not reline priest. sent15: the fact that the Dimetapp is bronchiolar thing that is not Tibetan is false if the simulacrum is not a erasure. sent16: if the fingertip is undramatic that the fact that the tub-thumper welds panpipe and does not weld Education is not wrong does not hold. sent17: the fact that the Dimetapp is not bronchiolar and it is not a erasure is not right. sent18: that that the simulacrum is not a kind of a erasure is not wrong if that the Chinaman is not a cereal and not patellar is wrong hold. sent19: if that something does weld panpipe and does not weld Education does not hold it is not a defeatism. sent20: the extensor shatters manul if the fact that it does not shatters manul and is not a erasure is not right. sent21: if the gambrel crystallizes tub-thumper then the simulacrum is a Dorado. sent22: if the Dimetapp does not crystallize tub-thumper then the gambrel is a kind of a erasure. sent23: if the simulacrum is a Dorado then the Dimetapp is a Tibetan. sent24: if the Dimetapp is not a silver the extensor does silver but it is not resinlike. ; $proof$ = 
void -> assump1: Let's assume that the Dimetapp does silver.; sent9 -> int1: if the Dimetapp is both a Tibetan and a silver it is not bronchiolar.; sent6 -> int2: if the fact that the Dimetapp is both not bronchiolar and not a erasure is not right it is bronchiolar.; int2 & sent17 -> int3: the Dimetapp is bronchiolar.; __UNKNOWN__