if the hell does unmake distortion then the puffball does not unmake neutralist.
sent1: if the sinner does not unmake puffball then the fact that the hell does unmake distortion does not hold. sent2: that the sinner does honor and does unmake puffball is incorrect. sent3: the fact that the puffball is Stalinist and is a kind of an honor does not hold. sent4: that the puffball unmakes neutralist is not false. sent5: if that the puffball does not unmake puffball is not incorrect then the fact that the sinner does unmake puffball and it is a scurf is false. sent6: the puffball is not a kind of an honor. sent7: if something is an honor but it does not unmake distortion then it does not unmake neutralist. sent8: the puffball does not unmake puffball if it is Stalinist thing that honors. sent9: the sinner does unmake puffball but it is not Stalinist. sent10: the puffball unmakes neutralist if the fact that the hell does unmake distortion is true. sent11: if the fact that the puffball is Stalinist and is not an honor is not true it unmakes neutralist. sent12: something does not unmake neutralist if that it is a kind of a Stalinist and does not honor is not right. sent13: something that resides and is ipsilateral is not a bore. sent14: if the fact that the puffball is an honor is right it does not unmake neutralist. sent15: if something that is not non-Stalinist is an honor then the fact that it does not unmake puffball is not wrong. sent16: if that something is an honor is not wrong then that it does not unmake neutralist is not incorrect. sent17: a Stalinist thing that does not honor does not unmake puffball. sent18: the anion unmakes puffball.
sent17 -> int1: the puffball does not unmake puffball if it is a Stalinist and it does not honor.; void -> assump1: Let's assume that the puffball is a Stalinist that is not an honor.; int1 & assump1 -> int2: the puffball does not unmake puffball.; int2 & sent5 -> int3: the fact that the sinner unmakes puffball and it is a scurf is not true.; void -> assump2: Let's assume that the hell does unmake distortion.; sent12 -> int4: if that the puffball is a Stalinist but it is not an honor is not true it does not unmake neutralist.;
$hypothesis$ = if the hell does unmake distortion then the puffball does not unmake neutralist. ; $context$ = sent1: if the sinner does not unmake puffball then the fact that the hell does unmake distortion does not hold. sent2: that the sinner does honor and does unmake puffball is incorrect. sent3: the fact that the puffball is Stalinist and is a kind of an honor does not hold. sent4: that the puffball unmakes neutralist is not false. sent5: if that the puffball does not unmake puffball is not incorrect then the fact that the sinner does unmake puffball and it is a scurf is false. sent6: the puffball is not a kind of an honor. sent7: if something is an honor but it does not unmake distortion then it does not unmake neutralist. sent8: the puffball does not unmake puffball if it is Stalinist thing that honors. sent9: the sinner does unmake puffball but it is not Stalinist. sent10: the puffball unmakes neutralist if the fact that the hell does unmake distortion is true. sent11: if the fact that the puffball is Stalinist and is not an honor is not true it unmakes neutralist. sent12: something does not unmake neutralist if that it is a kind of a Stalinist and does not honor is not right. sent13: something that resides and is ipsilateral is not a bore. sent14: if the fact that the puffball is an honor is right it does not unmake neutralist. sent15: if something that is not non-Stalinist is an honor then the fact that it does not unmake puffball is not wrong. sent16: if that something is an honor is not wrong then that it does not unmake neutralist is not incorrect. sent17: a Stalinist thing that does not honor does not unmake puffball. sent18: the anion unmakes puffball. ; $proof$ = 
sent17 -> int1: the puffball does not unmake puffball if it is a Stalinist and it does not honor.; void -> assump1: Let's assume that the puffball is a Stalinist that is not an honor.; int1 & assump1 -> int2: the puffball does not unmake puffball.; int2 & sent5 -> int3: the fact that the sinner unmakes puffball and it is a scurf is not true.; void -> assump2: Let's assume that the hell does unmake distortion.; sent12 -> int4: if that the puffball is a Stalinist but it is not an honor is not true it does not unmake neutralist.; __UNKNOWN__