the stumpknocker does not shatter Gordius.
sent1: if the stumpknocker does not shatter motility it shatters Gordius. sent2: there exists something such that it does not shatter Gordius and/or it pleases. sent3: a sugarless thing does shatter Gordius. sent4: the stumpknocker is sugarless or it does not shatter motility or both if the safe is an acquaintance. sent5: the safe is not glandular. sent6: there is something such that it is a detox. sent7: the safe is not glandular if it does shatter Gordius. sent8: there is something such that that it is not responsible and/or is an airport is wrong. sent9: the stumpknocker is not a perissodactyl if there is something such that that it does not crystallize transmitter and/or it is glandular does not hold. sent10: that the fact that the safe does not crystallize transmitter and/or it is glandular is not false does not hold if it is not a kind of an acquaintance. sent11: the stumpknocker does not shatter Gordius if the safe does not shatter Gordius. sent12: if that the safe is not sugarless hold then it does not shatter motility. sent13: if the stumpknocker is not sugarless it does reline Mendel. sent14: the Cypriot does not shatter Gordius. sent15: the safe does not encroach. sent16: something that is not a kind of a perissodactyl does not shatter Gordius. sent17: the fact that the Cypriot does not please and does not shatter motility does not hold. sent18: if something is sugarless it is not a kind of an acquaintance. sent19: the Cypriot does shatter randomization. sent20: the Cypriot does not please and it is not a perissodactyl. sent21: the fact that the safe is not sugarless and it is non-glandular hold if the stumpknocker is not non-glandular.
void -> assump1: Let's assume that the safe is not sugarless.; sent12 & assump1 -> int1: the safe does not shatter motility.; sent18 -> int2: the safe is not an acquaintance if it is not sugary.; sent16 -> int3: if the stumpknocker is not a perissodactyl then the fact that it does not shatter Gordius is not incorrect.;
the stumpknocker does shatter Gordius.
sent3 -> int4: if the stumpknocker is not sugary then it does shatter Gordius.;
$hypothesis$ = the stumpknocker does not shatter Gordius. ; $context$ = sent1: if the stumpknocker does not shatter motility it shatters Gordius. sent2: there exists something such that it does not shatter Gordius and/or it pleases. sent3: a sugarless thing does shatter Gordius. sent4: the stumpknocker is sugarless or it does not shatter motility or both if the safe is an acquaintance. sent5: the safe is not glandular. sent6: there is something such that it is a detox. sent7: the safe is not glandular if it does shatter Gordius. sent8: there is something such that that it is not responsible and/or is an airport is wrong. sent9: the stumpknocker is not a perissodactyl if there is something such that that it does not crystallize transmitter and/or it is glandular does not hold. sent10: that the fact that the safe does not crystallize transmitter and/or it is glandular is not false does not hold if it is not a kind of an acquaintance. sent11: the stumpknocker does not shatter Gordius if the safe does not shatter Gordius. sent12: if that the safe is not sugarless hold then it does not shatter motility. sent13: if the stumpknocker is not sugarless it does reline Mendel. sent14: the Cypriot does not shatter Gordius. sent15: the safe does not encroach. sent16: something that is not a kind of a perissodactyl does not shatter Gordius. sent17: the fact that the Cypriot does not please and does not shatter motility does not hold. sent18: if something is sugarless it is not a kind of an acquaintance. sent19: the Cypriot does shatter randomization. sent20: the Cypriot does not please and it is not a perissodactyl. sent21: the fact that the safe is not sugarless and it is non-glandular hold if the stumpknocker is not non-glandular. ; $proof$ = 
void -> assump1: Let's assume that the safe is not sugarless.; sent12 & assump1 -> int1: the safe does not shatter motility.; sent18 -> int2: the safe is not an acquaintance if it is not sugary.; sent16 -> int3: if the stumpknocker is not a perissodactyl then the fact that it does not shatter Gordius is not incorrect.; __UNKNOWN__