このトランシーバーは国際逮捕状だ
fact1: もし「あのコマンドプロンプトは入坑するけれど熟睡出来ない」ということは間違いだとしたら「このトランシーバーは国際逮捕状でない」ということは成り立つ fact2: なにがしかの物は太り難くないとしたら「国際逮捕状だしさらに根深くない」ということは成り立たない fact3: もし「あのコマンドプロンプトは国際逮捕状であるが入坑しない」ということは偽であるとしたらこのトランシーバーは熟睡出来ない fact4: 「あのコマンドプロンプトは入坑するし熟睡出来る」ということは間違いである fact5: 「あのコマンドプロンプトは国際逮捕状であるけれど熟睡出来ない」ということは成り立たない fact6: もしあのコマンドプロンプトが熟睡出来るとすればこのトランシーバーは国際逮捕状でない fact7: 太り難いものは国際逮捕状だ fact8: 「あのコマンドプロンプトは入坑するがそれは熟睡出来ない」ということは成り立つということはない fact9: 「あのコマンドプロンプトは見舞いだということはない」ということは成り立つ
fact1 & fact8 -> hypothesis;
このトランシーバーは国際逮捕状だ
fact10 -> int1: もしこのトランシーバーが太り難いとしたら国際逮捕状だ;
$facts$ = fact1: もし「あのコマンドプロンプトは入坑するけれど熟睡出来ない」ということは間違いだとしたら「このトランシーバーは国際逮捕状でない」ということは成り立つ fact2: なにがしかの物は太り難くないとしたら「国際逮捕状だしさらに根深くない」ということは成り立たない fact3: もし「あのコマンドプロンプトは国際逮捕状であるが入坑しない」ということは偽であるとしたらこのトランシーバーは熟睡出来ない fact4: 「あのコマンドプロンプトは入坑するし熟睡出来る」ということは間違いである fact5: 「あのコマンドプロンプトは国際逮捕状であるけれど熟睡出来ない」ということは成り立たない fact6: もしあのコマンドプロンプトが熟睡出来るとすればこのトランシーバーは国際逮捕状でない fact7: 太り難いものは国際逮捕状だ fact8: 「あのコマンドプロンプトは入坑するがそれは熟睡出来ない」ということは成り立つということはない fact9: 「あのコマンドプロンプトは見舞いだということはない」ということは成り立つ ; $hypothesis$ = このトランシーバーは国際逮捕状だ ; $proof$ = 
fact1 & fact8 -> hypothesis; __DISPROVED__
事実1: もし「あのコマンドプロンプトは入坑するけれど熟睡出来ない」ということは間違いだとしたら「このトランシーバーは国際逮捕状でない」ということは成り立つ
事実2: なにがしかの物は太り難くないとしたら「国際逮捕状だしさらに根深くない」ということは成り立たない
事実3: もし「あのコマンドプロンプトは国際逮捕状であるが入坑しない」ということは偽であるとしたらこのトランシーバーは熟睡出来ない
事実4: 「あのコマンドプロンプトは入坑するし熟睡出来る」ということは間違いである
事実5: 「あのコマンドプロンプトは国際逮捕状であるけれど熟睡出来ない」ということは成り立たない
事実6: もしあのコマンドプロンプトが熟睡出来るとすればこのトランシーバーは国際逮捕状でない
事実7: 太り難いものは国際逮捕状だ
事実8: 「あのコマンドプロンプトは入坑するがそれは熟睡出来ない」ということは成り立つということはない
事実9: 「あのコマンドプロンプトは見舞いだということはない」ということは成り立つ

仮説: このトランシーバーは国際逮捕状だ
1. 事実1と事実8から、仮説が否定される

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