あのトーマス・マンはクロックである
fact1: もしなんらかのものは試作しないならば「それは吹き過ぎるけれどクロックでない」ということは間違っている fact2: もしも「その不夜城は幹部会であるかまたはそれは試作しない」ということは成り立たないならあのトーマス・マンは試作しない fact3: もし仮にあるものは真っ白くないなら「「幹部会であるし断じる」ということは成り立つ」ということは偽である fact4: もしあのトーマス・マンが付け上がるかあるいはそれはクロックであるかもしくはどちらもであるとすれば「この平和産業は蹴躓く」ということは間違いである fact5: 仮にとあるものは幹部会でないならそれは試作するし複屈折する fact6: 「あのトーマス・マンは蹴躓かないがしかし近付く」ということは成り立たないなら「クロックでない」ということは本当だ fact7: もし仮に「とある物は吹き過ぎるがしかしクロックでない」ということは事実と異なるとしたらそれはクロックだ fact8: 「あのトーマス・マンは蹴躓かないが近付く」ということは事実と異なる fact9: もしもその不夜城が断じるということはないとすれば複屈折するしさらにそれは真っ白い fact10: もしその不夜城が吹き過ぎないならばあのトーマス・マンはクロックだ fact11: もしなにがしかの物は複屈折するとすれば「それは幹部会であるか試作しないかもしくは両方である」ということは事実と異なる fact12: もし仮に「なにがしかのものは幹部会であるしおまけにそれは断じる」ということは真実でないならばそれは幹部会でない fact13: 「もしもその不夜城が付け上がるとするとあのトーマス・マンはクロックである」ということは偽でない
fact6 & fact8 -> hypothesis;
fact6 & fact8 -> hypothesis;
この平和産業は蹴躓かない
fact14 -> int1: 仮に「「あのトーマス・マンは吹き過ぎるけれどクロックでない」ということは成り立たない」ということは成り立てばクロックである; fact16 -> int2: 仮にあのトーマス・マンは試作しないなら「それは吹き過ぎるしそれはクロックでない」ということは間違いだ; fact15 -> int3: 仮にその不夜城は複屈折するとしたら「幹部会であるかあるいはそれは試作しない」ということは成り立たない;
$facts$ = fact1: もしなんらかのものは試作しないならば「それは吹き過ぎるけれどクロックでない」ということは間違っている fact2: もしも「その不夜城は幹部会であるかまたはそれは試作しない」ということは成り立たないならあのトーマス・マンは試作しない fact3: もし仮にあるものは真っ白くないなら「「幹部会であるし断じる」ということは成り立つ」ということは偽である fact4: もしあのトーマス・マンが付け上がるかあるいはそれはクロックであるかもしくはどちらもであるとすれば「この平和産業は蹴躓く」ということは間違いである fact5: 仮にとあるものは幹部会でないならそれは試作するし複屈折する fact6: 「あのトーマス・マンは蹴躓かないがしかし近付く」ということは成り立たないなら「クロックでない」ということは本当だ fact7: もし仮に「とある物は吹き過ぎるがしかしクロックでない」ということは事実と異なるとしたらそれはクロックだ fact8: 「あのトーマス・マンは蹴躓かないが近付く」ということは事実と異なる fact9: もしもその不夜城が断じるということはないとすれば複屈折するしさらにそれは真っ白い fact10: もしその不夜城が吹き過ぎないならばあのトーマス・マンはクロックだ fact11: もしなにがしかの物は複屈折するとすれば「それは幹部会であるか試作しないかもしくは両方である」ということは事実と異なる fact12: もし仮に「なにがしかのものは幹部会であるしおまけにそれは断じる」ということは真実でないならばそれは幹部会でない fact13: 「もしもその不夜城が付け上がるとするとあのトーマス・マンはクロックである」ということは偽でない ; $hypothesis$ = あのトーマス・マンはクロックである ; $proof$ = 
fact6 & fact8 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものは試作しないならば「それは吹き過ぎるけれどクロックでない」ということは間違っている
事実2: もしも「その不夜城は幹部会であるかまたはそれは試作しない」ということは成り立たないならあのトーマス・マンは試作しない
事実3: もし仮にあるものは真っ白くないなら「「幹部会であるし断じる」ということは成り立つ」ということは偽である
事実4: もしあのトーマス・マンが付け上がるかあるいはそれはクロックであるかもしくはどちらもであるとすれば「この平和産業は蹴躓く」ということは間違いである
事実5: 仮にとあるものは幹部会でないならそれは試作するし複屈折する
事実6: 「あのトーマス・マンは蹴躓かないがしかし近付く」ということは成り立たないなら「クロックでない」ということは本当だ
事実7: もし仮に「とある物は吹き過ぎるがしかしクロックでない」ということは事実と異なるとしたらそれはクロックだ
事実8: 「あのトーマス・マンは蹴躓かないが近付く」ということは事実と異なる
事実9: もしもその不夜城が断じるということはないとすれば複屈折するしさらにそれは真っ白い
事実10: もしその不夜城が吹き過ぎないならばあのトーマス・マンはクロックだ
事実11: もしなにがしかの物は複屈折するとすれば「それは幹部会であるか試作しないかもしくは両方である」ということは事実と異なる
事実12: もし仮に「なにがしかのものは幹部会であるしおまけにそれは断じる」ということは真実でないならばそれは幹部会でない
事実13: 「もしもその不夜城が付け上がるとするとあのトーマス・マンはクロックである」ということは偽でない

仮説: あのトーマス・マンはクロックである
1. 事実6と事実8から、仮説が否定される

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