この城造りは推論しない
fact1: あの総合格闘技大会は差し控える fact2: もしあのライトスタンドが推論しないとしたらこの城造りは差し控えない fact3: もし仮にこの化学室は差し控えないとすれば「それは規則正しいししかも実行し易い」ということは偽である fact4: もしとあるものが差し控えれば戻し入れする fact5: 実行し易い物は推論する fact6: あのライトスタンドは取り組み姿勢だということはない fact7: あの総合格闘技大会は実行し易くないならば「この城造りは差し控えない」ということは成り立たない fact8: 「この城造りは差し控えるし加えて戻し入れする」ということは嘘だ fact9: 仮に「「この化学室は戻し入れする」ということは成り立つ」ということは成り立つということはないならば「「この城造りは実行し易いが差し控えない」ということは間違っていない」ということは誤りである fact10: このホットコーヒーは差し控える fact11: もしこの化学室が実行し易くないとしたらこの城造りは戻し入れするしそれは実行し易い fact12: もしもこの化学室が八紘一宇だとするとフランス王国である fact13: もしこの化学室が推論しないとするとこの城造りは実行し易いしまた推論する fact14: 「あのライトスタンドは報うしそれは規則正しい」ということは確かでないならば「この化学室は実行し易くない」ということは成り立つ fact15: もしあの総合格闘技大会が差し控えればあのライトスタンドは差し控えない fact16: 「あの総合格闘技大会は戻し入れする」ということは嘘でない fact17: もし仮に「何かは差し控えない」ということは正しいとすれば「それは報うしそれは規則正しい」ということは成り立たない fact18: あのライトスタンドは推論するし更にそれは規則正しい
fact17 -> int1: もしあのライトスタンドは差し控えないとすれば「それは報うしさらに規則正しい」ということは成り立つということはない; fact15 & fact1 -> int2: あのライトスタンドは差し控えない; int1 & int2 -> int3: 「あのライトスタンドは報うし更に規則正しい」ということは成り立たない; int3 & fact14 -> int4: この化学室は実行し易くない; int4 & fact11 -> int5: この城造りは戻し入れするししかも実行し易い; int5 -> int6: この城造りは実行し易い; fact5 -> int7: この城造りは実行し易いなら「それは推論する」ということは本当である; int6 & int7 -> hypothesis;
この城造りは推論しない
$facts$ = fact1: あの総合格闘技大会は差し控える fact2: もしあのライトスタンドが推論しないとしたらこの城造りは差し控えない fact3: もし仮にこの化学室は差し控えないとすれば「それは規則正しいししかも実行し易い」ということは偽である fact4: もしとあるものが差し控えれば戻し入れする fact5: 実行し易い物は推論する fact6: あのライトスタンドは取り組み姿勢だということはない fact7: あの総合格闘技大会は実行し易くないならば「この城造りは差し控えない」ということは成り立たない fact8: 「この城造りは差し控えるし加えて戻し入れする」ということは嘘だ fact9: 仮に「「この化学室は戻し入れする」ということは成り立つ」ということは成り立つということはないならば「「この城造りは実行し易いが差し控えない」ということは間違っていない」ということは誤りである fact10: このホットコーヒーは差し控える fact11: もしこの化学室が実行し易くないとしたらこの城造りは戻し入れするしそれは実行し易い fact12: もしもこの化学室が八紘一宇だとするとフランス王国である fact13: もしこの化学室が推論しないとするとこの城造りは実行し易いしまた推論する fact14: 「あのライトスタンドは報うしそれは規則正しい」ということは確かでないならば「この化学室は実行し易くない」ということは成り立つ fact15: もしあの総合格闘技大会が差し控えればあのライトスタンドは差し控えない fact16: 「あの総合格闘技大会は戻し入れする」ということは嘘でない fact17: もし仮に「何かは差し控えない」ということは正しいとすれば「それは報うしそれは規則正しい」ということは成り立たない fact18: あのライトスタンドは推論するし更にそれは規則正しい ; $hypothesis$ = この城造りは推論しない ; $proof$ = 
fact17 -> int1: もしあのライトスタンドは差し控えないとすれば「それは報うしさらに規則正しい」ということは成り立つということはない; fact15 & fact1 -> int2: あのライトスタンドは差し控えない; int1 & int2 -> int3: 「あのライトスタンドは報うし更に規則正しい」ということは成り立たない; int3 & fact14 -> int4: この化学室は実行し易くない; int4 & fact11 -> int5: この城造りは戻し入れするししかも実行し易い; int5 -> int6: この城造りは実行し易い; fact5 -> int7: この城造りは実行し易いなら「それは推論する」ということは本当である; int6 & int7 -> hypothesis; __DISPROVED__
事実1: あの総合格闘技大会は差し控える
事実2: もしあのライトスタンドが推論しないとしたらこの城造りは差し控えない
事実3: もし仮にこの化学室は差し控えないとすれば「それは規則正しいししかも実行し易い」ということは偽である
事実4: もしとあるものが差し控えれば戻し入れする
事実5: 実行し易い物は推論する
事実6: あのライトスタンドは取り組み姿勢だということはない
事実7: あの総合格闘技大会は実行し易くないならば「この城造りは差し控えない」ということは成り立たない
事実8: 「この城造りは差し控えるし加えて戻し入れする」ということは嘘だ
事実9: 仮に「「この化学室は戻し入れする」ということは成り立つ」ということは成り立つということはないならば「「この城造りは実行し易いが差し控えない」ということは間違っていない」ということは誤りである
事実10: このホットコーヒーは差し控える
事実11: もしこの化学室が実行し易くないとしたらこの城造りは戻し入れするしそれは実行し易い
事実12: もしもこの化学室が八紘一宇だとするとフランス王国である
事実13: もしこの化学室が推論しないとするとこの城造りは実行し易いしまた推論する
事実14: 「あのライトスタンドは報うしそれは規則正しい」ということは確かでないならば「この化学室は実行し易くない」ということは成り立つ
事実15: もしあの総合格闘技大会が差し控えればあのライトスタンドは差し控えない
事実16: 「あの総合格闘技大会は戻し入れする」ということは嘘でない
事実17: もし仮に「何かは差し控えない」ということは正しいとすれば「それは報うしそれは規則正しい」ということは成り立たない
事実18: あのライトスタンドは推論するし更にそれは規則正しい

仮説: この城造りは推論しない
1. 事実17から、推論1: "もしあのライトスタンドは差し控えないとすれば「それは報うしさらに規則正しい」ということは成り立つということはない"が導かれる
2. 事実15と事実1から、推論2: "あのライトスタンドは差し控えない"が導かれる
3. 推論1と推論2から、推論3: "「あのライトスタンドは報うし更に規則正しい」ということは成り立たない"が導かれる
4. 推論3と事実14から、推論4: "この化学室は実行し易くない"が導かれる
5. 推論4と事実11から、推論5: "この城造りは戻し入れするししかも実行し易い"が導かれる
6. 推論5から、推論6: "この城造りは実行し易い"が導かれる
7. 事実5から、推論7: "この城造りは実行し易いなら「それは推論する」ということは本当である"が導かれる
8. 推論6と推論7から、仮説が否定される

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