the fact that the tolazoline is a Eucinostomus is not wrong if the rundle is a Lithodidae.
sent1: the rundle is bladdery if something that is a Eucinostomus is not a Lithodidae. sent2: if something signs Sisyridae but it is not a Eucinostomus then the tolazoline is a kind of a Lithodidae. sent3: the rundle does not theologize. sent4: the romanticist is a Eucinostomus. sent5: if there exists something such that it is bladdery thing that is not a kind of a Lithodidae the rundle is a kind of a Eucinostomus. sent6: there exists something such that it commingles and it is not a blowback. sent7: there exists something such that it is a Lithodidae. sent8: the tolazoline is bladdery if something that is a Lithodidae does not sign Sisyridae. sent9: the rundle signs Sisyridae if it is a disa. sent10: the rundle does not sign Sisyridae. sent11: there is something such that it does not sign Sisyridae. sent12: the fluoroboride is a kind of a vanilla that does not sign smacker. sent13: the tolazoline is not a tempo. sent14: something is a Lithodidae that signs Sisyridae. sent15: the rundle is bladdery. sent16: that the rundle is a Eucinostomus if that the tolazoline is a Lithodidae is true hold. sent17: something is a kind of a Eucinostomus if it is bladdery. sent18: that the lutetium is bladdery is not incorrect. sent19: The Sisyridae does not sign rundle. sent20: if the tolazoline signs Sisyridae it is a Eucinostomus. sent21: that the rundle signs Sisyridae is true if the tolazoline is a Lithodidae. sent22: the tolazoline is not a Lithodidae.
void -> assump1: Let's assume that the rundle is a Lithodidae.; assump1 & sent10 -> int1: the rundle is a Lithodidae and does not sign Sisyridae.; int1 -> int2: there is something such that it is a kind of a Lithodidae that does not sign Sisyridae.; int2 & sent8 -> int3: the tolazoline is bladdery.; sent17 -> int4: if the tolazoline is bladdery it is a Eucinostomus.; int3 & int4 -> int5: the tolazoline is a Eucinostomus.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the tolazoline is a Eucinostomus is not wrong if the rundle is a Lithodidae. ; $context$ = sent1: the rundle is bladdery if something that is a Eucinostomus is not a Lithodidae. sent2: if something signs Sisyridae but it is not a Eucinostomus then the tolazoline is a kind of a Lithodidae. sent3: the rundle does not theologize. sent4: the romanticist is a Eucinostomus. sent5: if there exists something such that it is bladdery thing that is not a kind of a Lithodidae the rundle is a kind of a Eucinostomus. sent6: there exists something such that it commingles and it is not a blowback. sent7: there exists something such that it is a Lithodidae. sent8: the tolazoline is bladdery if something that is a Lithodidae does not sign Sisyridae. sent9: the rundle signs Sisyridae if it is a disa. sent10: the rundle does not sign Sisyridae. sent11: there is something such that it does not sign Sisyridae. sent12: the fluoroboride is a kind of a vanilla that does not sign smacker. sent13: the tolazoline is not a tempo. sent14: something is a Lithodidae that signs Sisyridae. sent15: the rundle is bladdery. sent16: that the rundle is a Eucinostomus if that the tolazoline is a Lithodidae is true hold. sent17: something is a kind of a Eucinostomus if it is bladdery. sent18: that the lutetium is bladdery is not incorrect. sent19: The Sisyridae does not sign rundle. sent20: if the tolazoline signs Sisyridae it is a Eucinostomus. sent21: that the rundle signs Sisyridae is true if the tolazoline is a Lithodidae. sent22: the tolazoline is not a Lithodidae. ; $proof$ = 
void -> assump1: Let's assume that the rundle is a Lithodidae.; assump1 & sent10 -> int1: the rundle is a Lithodidae and does not sign Sisyridae.; int1 -> int2: there is something such that it is a kind of a Lithodidae that does not sign Sisyridae.; int2 & sent8 -> int3: the tolazoline is bladdery.; sent17 -> int4: if the tolazoline is bladdery it is a Eucinostomus.; int3 & int4 -> int5: the tolazoline is a Eucinostomus.; [assump1] & int5 -> hypothesis; __PROVED__