あの五時前は相応しい
fact1: もしもなんらかのものは思い遣れるけど発揮し難くないとすると南方録でない fact2: 「このスパイ行為は相応しくて百万長者だ」ということは成り立たない fact3: もし仮に「「男性であるしそれに百万長者である」ということは事実と異なる」ものがあるとするとあの五時前は相応しかない fact4: もしなにかは百万長者でないとしたらあの五時前は相応しいということはない fact5: もしなにかは南方録でないとすれば相応しいしおまけにそれは湯船である fact6: 何かは御強いとするとそれは思い遣れるけど発揮し難くない fact7: 「なんらかのものはあくどいということはないがそれは神経ペプチドだ」ということは偽だとすると御強い fact8: 「このスパイ行為は男性で更にそれは百万長者だ」ということは本当でない
fact8 -> int1: 「「男性であるし百万長者だ」ということは偽である」物はある; int1 & fact3 -> hypothesis;
あの五時前は相応しい
fact10 -> int2: もしもあの五時前は南方録でないとするとそれは相応しいししかも湯船である; fact9 -> int3: あの五時前が思い遣れるがしかし発揮し難くないとすると南方録でない; fact11 -> int4: あの五時前が御強いとすると思い遣れるけれど発揮し難いということはない; fact12 -> int5: もし仮に「あの五時前はあくどくない神経ペプチドである」ということは間違いだとすると御強い;
$facts$ = fact1: もしもなんらかのものは思い遣れるけど発揮し難くないとすると南方録でない fact2: 「このスパイ行為は相応しくて百万長者だ」ということは成り立たない fact3: もし仮に「「男性であるしそれに百万長者である」ということは事実と異なる」ものがあるとするとあの五時前は相応しかない fact4: もしなにかは百万長者でないとしたらあの五時前は相応しいということはない fact5: もしなにかは南方録でないとすれば相応しいしおまけにそれは湯船である fact6: 何かは御強いとするとそれは思い遣れるけど発揮し難くない fact7: 「なんらかのものはあくどいということはないがそれは神経ペプチドだ」ということは偽だとすると御強い fact8: 「このスパイ行為は男性で更にそれは百万長者だ」ということは本当でない ; $hypothesis$ = あの五時前は相応しい ; $proof$ = 
fact8 -> int1: 「「男性であるし百万長者だ」ということは偽である」物はある; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは思い遣れるけど発揮し難くないとすると南方録でない
事実2: 「このスパイ行為は相応しくて百万長者だ」ということは成り立たない
事実3: もし仮に「「男性であるしそれに百万長者である」ということは事実と異なる」ものがあるとするとあの五時前は相応しかない
事実4: もしなにかは百万長者でないとしたらあの五時前は相応しいということはない
事実5: もしなにかは南方録でないとすれば相応しいしおまけにそれは湯船である
事実6: 何かは御強いとするとそれは思い遣れるけど発揮し難くない
事実7: 「なんらかのものはあくどいということはないがそれは神経ペプチドだ」ということは偽だとすると御強い
事実8: 「このスパイ行為は男性で更にそれは百万長者だ」ということは本当でない

仮説: あの五時前は相応しい
1. 事実8から、推論1: "「「男性であるし百万長者だ」ということは偽である」物はある"が導かれる
2. 推論1と事実3から、仮説が否定される

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