that the oxeye is a kind of a butterfly if the skidpan ammoniates dryness is not true.
sent1: the skidpan ammoniates dryness and it does butterfly. sent2: there is something such that it is not a putamen. sent3: the oxeye does crook casebook if there exists something such that it is a butterfly that ammoniates dryness. sent4: the Zambian crooks casebook if something does clank Borassus and does ammoniate dryness. sent5: there exists something such that it is both not a Platonism and sulcate. sent6: if the Zambian crooks casebook then the oxeye is a kind of a butterfly. sent7: the flush clanks Borassus. sent8: if something that does crook casebook does ammoniate dryness the Zambian does clank Borassus. sent9: the skidpan is interior. sent10: the gnomon homes and it is a Platonism. sent11: there exists something such that that it does ammoniate dryness is not incorrect. sent12: there is something such that it does clank Borassus. sent13: something is sulcate. sent14: the skidpan clanks Borassus if something that is not a Platonism is sulcate. sent15: there is something such that it is not a Platonism. sent16: something does not crook casebook and clanks Borassus. sent17: the Zambian clanks Borassus if there exists something such that it does not ammoniate dryness and does crook casebook. sent18: something is a kind of a Platonism and it is sulcate. sent19: the fact that the oxeye is sulcate hold.
sent5 & sent14 -> int1: the skidpan clanks Borassus.; void -> assump1: Let's assume that the skidpan ammoniates dryness.; int1 & assump1 -> int2: the skidpan does clank Borassus and it ammoniates dryness.; int2 -> int3: there exists something such that it does clank Borassus and it ammoniates dryness.; int3 & sent4 -> int4: the Zambian does crook casebook.; int4 & sent6 -> int5: the oxeye butterflies.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the oxeye is a kind of a butterfly if the skidpan ammoniates dryness is not true. ; $context$ = sent1: the skidpan ammoniates dryness and it does butterfly. sent2: there is something such that it is not a putamen. sent3: the oxeye does crook casebook if there exists something such that it is a butterfly that ammoniates dryness. sent4: the Zambian crooks casebook if something does clank Borassus and does ammoniate dryness. sent5: there exists something such that it is both not a Platonism and sulcate. sent6: if the Zambian crooks casebook then the oxeye is a kind of a butterfly. sent7: the flush clanks Borassus. sent8: if something that does crook casebook does ammoniate dryness the Zambian does clank Borassus. sent9: the skidpan is interior. sent10: the gnomon homes and it is a Platonism. sent11: there exists something such that that it does ammoniate dryness is not incorrect. sent12: there is something such that it does clank Borassus. sent13: something is sulcate. sent14: the skidpan clanks Borassus if something that is not a Platonism is sulcate. sent15: there is something such that it is not a Platonism. sent16: something does not crook casebook and clanks Borassus. sent17: the Zambian clanks Borassus if there exists something such that it does not ammoniate dryness and does crook casebook. sent18: something is a kind of a Platonism and it is sulcate. sent19: the fact that the oxeye is sulcate hold. ; $proof$ = 
sent5 & sent14 -> int1: the skidpan clanks Borassus.; void -> assump1: Let's assume that the skidpan ammoniates dryness.; int1 & assump1 -> int2: the skidpan does clank Borassus and it ammoniates dryness.; int2 -> int3: there exists something such that it does clank Borassus and it ammoniates dryness.; int3 & sent4 -> int4: the Zambian does crook casebook.; int4 & sent6 -> int5: the oxeye butterflies.; [assump1] & int5 -> hypothesis; __DISPROVED__