このテキスト・ファイルはリスト表示する
fact1: 「あの本邦通貨は差し迫るしかつオープンする」ということは間違いである fact2: その大型バスがリスト表示するとしたらあの本邦通貨はリスト表示する fact3: このテキスト・ファイルは非薬物療法でないとするとそれは忍び返しでない fact4: もしこのテキスト・ファイルが運動ニューロンならあの本邦通貨は酒臭い fact5: 仮にこのテキスト・ファイルは当直でないがしかし忍び返しであるとすれば「それは生き易くない」ということは成り立つ fact6: なにかは運動ニューロンでなくてそれにそれが生き易いということはないとしたらリスト表示しない fact7: もし仮にあの本邦通貨はリスト表示するとすると「このテキスト・ファイルはリスト表示する」ということは事実である fact8: このテキスト・ファイルは当直でなくておまけに忍び返しだということはない fact9: もし仮に「あの本邦通貨は差し迫るし加えてオープンする」ということは間違っていれば「それは酒臭くない」ということは真実だ fact10: このテキスト・ファイルは当直でないし忍び返しでないとしたら生き易くない
void -> assump1: 以下のように仮定する。このテキスト・ファイルは運動ニューロンだ; fact4 & assump1 -> int1: あの本邦通貨は酒臭い; fact1 & fact9 -> int2: あの本邦通貨は酒臭いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このテキスト・ファイルは運動ニューロンであるということはない; fact10 & fact8 -> int5: このテキスト・ファイルは生き易くない; int4 & int5 -> int6: このテキスト・ファイルは運動ニューロンでないししかも生き易くない; fact6 -> int7: 仮にこのテキスト・ファイルが運動ニューロンでなくて更に生き易くないとすれば「それはリスト表示しない」ということは成り立つ; int6 & int7 -> hypothesis;
このテキスト・ファイルはリスト表示する
$facts$ = fact1: 「あの本邦通貨は差し迫るしかつオープンする」ということは間違いである fact2: その大型バスがリスト表示するとしたらあの本邦通貨はリスト表示する fact3: このテキスト・ファイルは非薬物療法でないとするとそれは忍び返しでない fact4: もしこのテキスト・ファイルが運動ニューロンならあの本邦通貨は酒臭い fact5: 仮にこのテキスト・ファイルは当直でないがしかし忍び返しであるとすれば「それは生き易くない」ということは成り立つ fact6: なにかは運動ニューロンでなくてそれにそれが生き易いということはないとしたらリスト表示しない fact7: もし仮にあの本邦通貨はリスト表示するとすると「このテキスト・ファイルはリスト表示する」ということは事実である fact8: このテキスト・ファイルは当直でなくておまけに忍び返しだということはない fact9: もし仮に「あの本邦通貨は差し迫るし加えてオープンする」ということは間違っていれば「それは酒臭くない」ということは真実だ fact10: このテキスト・ファイルは当直でないし忍び返しでないとしたら生き易くない ; $hypothesis$ = このテキスト・ファイルはリスト表示する ; $proof$ = 
void -> assump1: 以下のように仮定する。このテキスト・ファイルは運動ニューロンだ; fact4 & assump1 -> int1: あの本邦通貨は酒臭い; fact1 & fact9 -> int2: あの本邦通貨は酒臭いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このテキスト・ファイルは運動ニューロンであるということはない; fact10 & fact8 -> int5: このテキスト・ファイルは生き易くない; int4 & int5 -> int6: このテキスト・ファイルは運動ニューロンでないししかも生き易くない; fact6 -> int7: 仮にこのテキスト・ファイルが運動ニューロンでなくて更に生き易くないとすれば「それはリスト表示しない」ということは成り立つ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 「あの本邦通貨は差し迫るしかつオープンする」ということは間違いである
事実2: その大型バスがリスト表示するとしたらあの本邦通貨はリスト表示する
事実3: このテキスト・ファイルは非薬物療法でないとするとそれは忍び返しでない
事実4: もしこのテキスト・ファイルが運動ニューロンならあの本邦通貨は酒臭い
事実5: 仮にこのテキスト・ファイルは当直でないがしかし忍び返しであるとすれば「それは生き易くない」ということは成り立つ
事実6: なにかは運動ニューロンでなくてそれにそれが生き易いということはないとしたらリスト表示しない
事実7: もし仮にあの本邦通貨はリスト表示するとすると「このテキスト・ファイルはリスト表示する」ということは事実である
事実8: このテキスト・ファイルは当直でなくておまけに忍び返しだということはない
事実9: もし仮に「あの本邦通貨は差し迫るし加えてオープンする」ということは間違っていれば「それは酒臭くない」ということは真実だ
事実10: このテキスト・ファイルは当直でないし忍び返しでないとしたら生き易くない

仮説: このテキスト・ファイルはリスト表示する
1. 仮定1: 以下のように仮定する。このテキスト・ファイルは運動ニューロンだ
2. 事実4と仮定1から、推論1: "あの本邦通貨は酒臭い"が導かれる
3. 事実1と事実9から、推論2: "あの本邦通貨は酒臭いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このテキスト・ファイルは運動ニューロンであるということはない"が導かれる
6. 事実10と事実8から、推論5: "このテキスト・ファイルは生き易くない"が導かれる
7. 推論4と推論5から、推論6: "このテキスト・ファイルは運動ニューロンでないししかも生き易くない"が導かれる
8. 事実6から、推論7: "仮にこのテキスト・ファイルが運動ニューロンでなくて更に生き易くないとすれば「それはリスト表示しない」ということは成り立つ"が導かれる
9. 推論6と推論7から、仮説が否定される

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