「「望みでないし荒っぽくないとすれば養鶏な」ものはある」ということは間違いである
fact1: その目下が真っ黒くないし更にそれは商船であるということはないとすれば駆けずり回る fact2: 何かは望みでないし荒っぽくないとすればそれは養鶏である fact3: もしこのＸ線装置が荒っぽくなくてそれにそれがアップグレードしないとしたら梱包する fact4: 「仮に望みでないがしかし荒っぽいとしたら養鶏な」物はある fact5: もしもその目下は望みでない一方で口汚いならば立て難い fact6: 「もししおらしくてかつ二本指であるということはないとしたら馴染み易い」物はある fact7: このＸ線装置が望みであるがしかしそれが荒っぽくないなら養鶏だ fact8: 「望みであるけれど荒っぽくないとすると「養鶏である」ということは確かである」物はある fact9: もし仮にあのスクールポリスが植菌でないがそれが存在すとするとそれは養鶏である fact10: もし三十一席が署名者でないとすればそれは進め易い fact11: もしもなにかはチェックしないけど実れば署名者である fact12: 望みが荒っぽくないとすればそれは養鶏だ fact13: もしあるものは望みでないが荒っぽいとしたら養鶏だ fact14: 「仮に設計し直すけど抱き続けないとしたら三井系である」ものはある fact15: もし何らかのものは悔しくないししかもまどろっこしくらないとすればそれは御届けする fact16: もしこのＸ線装置は望みでないが荒っぽいとしたら養鶏である
fact2 -> int1: このＸ線装置は望みでなくておまけに荒っぽくないならそれは養鶏だ; int1 -> hypothesis;
「もし悔しくないしまたまどろっこしくらないとすれば御届けする」ものはある
fact17 -> int2: もしもこの二インが悔しくないし加えてそれがまどろっこしくらないとしたら御届けする; int2 -> hypothesis;
$facts$ = fact1: その目下が真っ黒くないし更にそれは商船であるということはないとすれば駆けずり回る fact2: 何かは望みでないし荒っぽくないとすればそれは養鶏である fact3: もしこのＸ線装置が荒っぽくなくてそれにそれがアップグレードしないとしたら梱包する fact4: 「仮に望みでないがしかし荒っぽいとしたら養鶏な」物はある fact5: もしもその目下は望みでない一方で口汚いならば立て難い fact6: 「もししおらしくてかつ二本指であるということはないとしたら馴染み易い」物はある fact7: このＸ線装置が望みであるがしかしそれが荒っぽくないなら養鶏だ fact8: 「望みであるけれど荒っぽくないとすると「養鶏である」ということは確かである」物はある fact9: もし仮にあのスクールポリスが植菌でないがそれが存在すとするとそれは養鶏である fact10: もし三十一席が署名者でないとすればそれは進め易い fact11: もしもなにかはチェックしないけど実れば署名者である fact12: 望みが荒っぽくないとすればそれは養鶏だ fact13: もしあるものは望みでないが荒っぽいとしたら養鶏だ fact14: 「仮に設計し直すけど抱き続けないとしたら三井系である」ものはある fact15: もし何らかのものは悔しくないししかもまどろっこしくらないとすればそれは御届けする fact16: もしこのＸ線装置は望みでないが荒っぽいとしたら養鶏である ; $hypothesis$ = 「「望みでないし荒っぽくないとすれば養鶏な」ものはある」ということは間違いである ; $proof$ = 
fact2 -> int1: このＸ線装置は望みでなくておまけに荒っぽくないならそれは養鶏だ; int1 -> hypothesis; __DISPROVED__
事実1: その目下が真っ黒くないし更にそれは商船であるということはないとすれば駆けずり回る
事実2: 何かは望みでないし荒っぽくないとすればそれは養鶏である
事実3: もしこのＸ線装置が荒っぽくなくてそれにそれがアップグレードしないとしたら梱包する
事実4: 「仮に望みでないがしかし荒っぽいとしたら養鶏な」物はある
事実5: もしもその目下は望みでない一方で口汚いならば立て難い
事実6: 「もししおらしくてかつ二本指であるということはないとしたら馴染み易い」物はある
事実7: このＸ線装置が望みであるがしかしそれが荒っぽくないなら養鶏だ
事実8: 「望みであるけれど荒っぽくないとすると「養鶏である」ということは確かである」物はある
事実9: もし仮にあのスクールポリスが植菌でないがそれが存在すとするとそれは養鶏である
事実10: もし三十一席が署名者でないとすればそれは進め易い
事実11: もしもなにかはチェックしないけど実れば署名者である
事実12: 望みが荒っぽくないとすればそれは養鶏だ
事実13: もしあるものは望みでないが荒っぽいとしたら養鶏だ
事実14: 「仮に設計し直すけど抱き続けないとしたら三井系である」ものはある
事実15: もし何らかのものは悔しくないししかもまどろっこしくらないとすればそれは御届けする
事実16: もしこのＸ線装置は望みでないが荒っぽいとしたら養鶏である

仮説: 「「望みでないし荒っぽくないとすれば養鶏な」ものはある」ということは間違いである
1. 事実2から、推論1: "このＸ線装置は望みでなくておまけに荒っぽくないならそれは養鶏だ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。