この落ち○チンは挑み掛からない
fact1: 仮に「この落ち○チンは催奇性でないかあるいは惨めったらしくないかどちらもだ」ということは成り立たないならばそれは挑み掛からない fact2: 「この落ち○チンは御辛い」ということは本当である fact3: もし仮に「あの二三歳馬は惨めったらしくないかもしくはそれは合点するか両方である」ということは成り立つということはないとすれば香りでない fact4: 「この落ち○チンは催奇性であるということはないかそれは惨めったらしくないかあるいは両方ともである」ということは成り立たない fact5: もし仮に「この落ち○チンは催奇性でないかあるいはそれは惨めったらしい」ということは偽ならそれは挑み掛かるということはない fact6: もし「この落ち○チンは催奇性であるかあるいは惨めったらしくないかもしくは両方である」ということは間違いだとすれば挑み掛からない fact7: もしもあるものが人工物であるということはないけどそれは利尿であるとしたら挑み掛かる
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
この落ち○チンは挑み掛かる
fact8 -> int1: もしもこの落ち○チンは人工物でないけど利尿ならそれは挑み掛かる;
$facts$ = fact1: 仮に「この落ち○チンは催奇性でないかあるいは惨めったらしくないかどちらもだ」ということは成り立たないならばそれは挑み掛からない fact2: 「この落ち○チンは御辛い」ということは本当である fact3: もし仮に「あの二三歳馬は惨めったらしくないかもしくはそれは合点するか両方である」ということは成り立つということはないとすれば香りでない fact4: 「この落ち○チンは催奇性であるということはないかそれは惨めったらしくないかあるいは両方ともである」ということは成り立たない fact5: もし仮に「この落ち○チンは催奇性でないかあるいはそれは惨めったらしい」ということは偽ならそれは挑み掛かるということはない fact6: もし「この落ち○チンは催奇性であるかあるいは惨めったらしくないかもしくは両方である」ということは間違いだとすれば挑み掛からない fact7: もしもあるものが人工物であるということはないけどそれは利尿であるとしたら挑み掛かる ; $hypothesis$ = この落ち○チンは挑み掛からない ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「この落ち○チンは催奇性でないかあるいは惨めったらしくないかどちらもだ」ということは成り立たないならばそれは挑み掛からない
事実2: 「この落ち○チンは御辛い」ということは本当である
事実3: もし仮に「あの二三歳馬は惨めったらしくないかもしくはそれは合点するか両方である」ということは成り立つということはないとすれば香りでない
事実4: 「この落ち○チンは催奇性であるということはないかそれは惨めったらしくないかあるいは両方ともである」ということは成り立たない
事実5: もし仮に「この落ち○チンは催奇性でないかあるいはそれは惨めったらしい」ということは偽ならそれは挑み掛かるということはない
事実6: もし「この落ち○チンは催奇性であるかあるいは惨めったらしくないかもしくは両方である」ということは間違いだとすれば挑み掛からない
事実7: もしもあるものが人工物であるということはないけどそれは利尿であるとしたら挑み掛かる

仮説: この落ち○チンは挑み掛からない
1. 事実1と事実4から、仮説が導かれる

よって、仮説が証明されました。