if the cryptocoryne does contort shiftlessness then the tetrasaccharide is cellulosid.
sent1: the tetrasaccharide is cellulosid if the greengrocer is not bright but it does gap. sent2: the fact that the tetrasaccharide is cellulosid if the greengrocer is a kind of non-bright thing that does not contort shiftlessness is right. sent3: the cryptocoryne is bright. sent4: if the greengrocer is bright and is not a gap then the tetrasaccharide is cellulosid. sent5: the tetrasaccharide is not cellulosid and it is not a kind of a gap. sent6: the cryptocoryne does contort shiftlessness if the greengrocer is a kind of non-cellulosid thing that is not a kind of a gap. sent7: the grassland is not bright and does not bedizen cryptocoryne. sent8: the fact that the greengrocer is not bright and is not a gap hold if the fact that the cryptocoryne contorts shiftlessness hold. sent9: if the cryptocoryne does not gap and it does not contort shiftlessness that the greengrocer is bright is not wrong. sent10: if the cryptocoryne is not a gap and not bright then the greengrocer does contort shiftlessness. sent11: the greengrocer does not contort shiftlessness and is not bright if the cryptocoryne does gap. sent12: the greengrocer is cellulosid.
void -> assump1: Let's assume that the cryptocoryne contorts shiftlessness.; sent8 & assump1 -> int1: the greengrocer is not bright and it is not a gap.;
$hypothesis$ = if the cryptocoryne does contort shiftlessness then the tetrasaccharide is cellulosid. ; $context$ = sent1: the tetrasaccharide is cellulosid if the greengrocer is not bright but it does gap. sent2: the fact that the tetrasaccharide is cellulosid if the greengrocer is a kind of non-bright thing that does not contort shiftlessness is right. sent3: the cryptocoryne is bright. sent4: if the greengrocer is bright and is not a gap then the tetrasaccharide is cellulosid. sent5: the tetrasaccharide is not cellulosid and it is not a kind of a gap. sent6: the cryptocoryne does contort shiftlessness if the greengrocer is a kind of non-cellulosid thing that is not a kind of a gap. sent7: the grassland is not bright and does not bedizen cryptocoryne. sent8: the fact that the greengrocer is not bright and is not a gap hold if the fact that the cryptocoryne contorts shiftlessness hold. sent9: if the cryptocoryne does not gap and it does not contort shiftlessness that the greengrocer is bright is not wrong. sent10: if the cryptocoryne is not a gap and not bright then the greengrocer does contort shiftlessness. sent11: the greengrocer does not contort shiftlessness and is not bright if the cryptocoryne does gap. sent12: the greengrocer is cellulosid. ; $proof$ = 
void -> assump1: Let's assume that the cryptocoryne contorts shiftlessness.; sent8 & assump1 -> int1: the greengrocer is not bright and it is not a gap.; __UNKNOWN__