この製鉄炉跡は画面表示であるということはない
fact1: この権現後遺跡は裁判しない fact2: もしこの権現後遺跡が勤続しないならば詳しいけど太いということはない fact3: その区分経理は詳しい fact4: その優性形質はゆとり教育だ fact5: その区分経理は紛らせる fact6: もしも「この権現後遺跡は標識しない」ということは真実であるとしたらそれは勤続するし加えて裁判しない fact7: もしもその区分経理が太いとしたらその優性形質は太いが詳しいということはない fact8: この権現後遺跡は詮無いかもしくは標識する fact9: もしもその区分経理は太くないならば「この監獄行きは起居する」ということは成り立つ fact10: この監獄行きは詳しくない fact11: 「その優性形質は太くてかつ詳しい」ということは本当だとするとこの製鉄炉跡は画面表示でない fact12: もし仮にその優性形質が太いが詳しくないとすればこの製鉄炉跡は画面表示でない fact13: この製鉄炉跡は起居する fact14: もしこの権現後遺跡は太いかまたは勤続するかもしくは両方であるなら「その区分経理は起居する」ということは成り立たない fact15: もし仮にその優性形質が起居するがしかし画面表示でないならばこの監獄行きは太くない fact16: この権現後遺跡は標識しない fact17: この次ヘッダ番号フィールドは標識しない fact18: この権現後遺跡は標識しないならば「それは裁判しない」ということは事実だ fact19: その優性形質は詳しくない fact20: もし仮にこの監獄行きは詮無いとすると「この権現後遺跡は勤続しない」ということは真実だ fact21: この権現後遺跡はドミンゴだがしかし求意見でない fact22: もしこの監獄行きが起居するか詮無いかあるいは両方ともならこの権現後遺跡は勤続しない fact23: もしその区分経理が太いならばその優性形質は詳しくない fact24: もしもこの権現後遺跡が裁判するとしたらその区分経理は裁判する一方で太くない fact25: その優性形質が太い一方で勤続するということはないとすればこの権現後遺跡は詮無いということはない
void -> assump1: 以下のように仮定する。「その区分経理は太くない」ということは確かだ; fact9 & assump1 -> int1: この監獄行きは起居する; int1 -> int2: この監獄行きは起居するかもしくは詮無いかまたはどちらもである; int2 & fact22 -> int3: この権現後遺跡は勤続しない; fact16 & fact6 -> int4: この権現後遺跡は勤続するけどそれは裁判しない; int4 -> int5: この権現後遺跡は勤続する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その区分経理は太い; int7 & fact7 -> int8: その優性形質は太い一方でそれは詳しくない; int8 & fact12 -> hypothesis;
$facts$ = fact1: この権現後遺跡は裁判しない fact2: もしこの権現後遺跡が勤続しないならば詳しいけど太いということはない fact3: その区分経理は詳しい fact4: その優性形質はゆとり教育だ fact5: その区分経理は紛らせる fact6: もしも「この権現後遺跡は標識しない」ということは真実であるとしたらそれは勤続するし加えて裁判しない fact7: もしもその区分経理が太いとしたらその優性形質は太いが詳しいということはない fact8: この権現後遺跡は詮無いかもしくは標識する fact9: もしもその区分経理は太くないならば「この監獄行きは起居する」ということは成り立つ fact10: この監獄行きは詳しくない fact11: 「その優性形質は太くてかつ詳しい」ということは本当だとするとこの製鉄炉跡は画面表示でない fact12: もし仮にその優性形質が太いが詳しくないとすればこの製鉄炉跡は画面表示でない fact13: この製鉄炉跡は起居する fact14: もしこの権現後遺跡は太いかまたは勤続するかもしくは両方であるなら「その区分経理は起居する」ということは成り立たない fact15: もし仮にその優性形質が起居するがしかし画面表示でないならばこの監獄行きは太くない fact16: この権現後遺跡は標識しない fact17: この次ヘッダ番号フィールドは標識しない fact18: この権現後遺跡は標識しないならば「それは裁判しない」ということは事実だ fact19: その優性形質は詳しくない fact20: もし仮にこの監獄行きは詮無いとすると「この権現後遺跡は勤続しない」ということは真実だ fact21: この権現後遺跡はドミンゴだがしかし求意見でない fact22: もしこの監獄行きが起居するか詮無いかあるいは両方ともならこの権現後遺跡は勤続しない fact23: もしその区分経理が太いならばその優性形質は詳しくない fact24: もしもこの権現後遺跡が裁判するとしたらその区分経理は裁判する一方で太くない fact25: その優性形質が太い一方で勤続するということはないとすればこの権現後遺跡は詮無いということはない ; $hypothesis$ = この製鉄炉跡は画面表示であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その区分経理は太くない」ということは確かだ; fact9 & assump1 -> int1: この監獄行きは起居する; int1 -> int2: この監獄行きは起居するかもしくは詮無いかまたはどちらもである; int2 & fact22 -> int3: この権現後遺跡は勤続しない; fact16 & fact6 -> int4: この権現後遺跡は勤続するけどそれは裁判しない; int4 -> int5: この権現後遺跡は勤続する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その区分経理は太い; int7 & fact7 -> int8: その優性形質は太い一方でそれは詳しくない; int8 & fact12 -> hypothesis; __PROVED__
事実1: この権現後遺跡は裁判しない
事実2: もしこの権現後遺跡が勤続しないならば詳しいけど太いということはない
事実3: その区分経理は詳しい
事実4: その優性形質はゆとり教育だ
事実5: その区分経理は紛らせる
事実6: もしも「この権現後遺跡は標識しない」ということは真実であるとしたらそれは勤続するし加えて裁判しない
事実7: もしもその区分経理が太いとしたらその優性形質は太いが詳しいということはない
事実8: この権現後遺跡は詮無いかもしくは標識する
事実9: もしもその区分経理は太くないならば「この監獄行きは起居する」ということは成り立つ
事実10: この監獄行きは詳しくない
事実11: 「その優性形質は太くてかつ詳しい」ということは本当だとするとこの製鉄炉跡は画面表示でない
事実12: もし仮にその優性形質が太いが詳しくないとすればこの製鉄炉跡は画面表示でない
事実13: この製鉄炉跡は起居する
事実14: もしこの権現後遺跡は太いかまたは勤続するかもしくは両方であるなら「その区分経理は起居する」ということは成り立たない
事実15: もし仮にその優性形質が起居するがしかし画面表示でないならばこの監獄行きは太くない
事実16: この権現後遺跡は標識しない
事実17: この次ヘッダ番号フィールドは標識しない
事実18: この権現後遺跡は標識しないならば「それは裁判しない」ということは事実だ
事実19: その優性形質は詳しくない
事実20: もし仮にこの監獄行きは詮無いとすると「この権現後遺跡は勤続しない」ということは真実だ
事実21: この権現後遺跡はドミンゴだがしかし求意見でない
事実22: もしこの監獄行きが起居するか詮無いかあるいは両方ともならこの権現後遺跡は勤続しない
事実23: もしその区分経理が太いならばその優性形質は詳しくない
事実24: もしもこの権現後遺跡が裁判するとしたらその区分経理は裁判する一方で太くない
事実25: その優性形質が太い一方で勤続するということはないとすればこの権現後遺跡は詮無いということはない

仮説: この製鉄炉跡は画面表示であるということはない
1. 仮定1: 以下のように仮定する。「その区分経理は太くない」ということは確かだ
2. 事実9と仮定1から、推論1: "この監獄行きは起居する"が導かれる
3. 推論1から、推論2: "この監獄行きは起居するかもしくは詮無いかまたはどちらもである"が導かれる
4. 推論2と事実22から、推論3: "この権現後遺跡は勤続しない"が導かれる
5. 事実16と事実6から、推論4: "この権現後遺跡は勤続するけどそれは裁判しない"が導かれる
6. 推論4から、推論5: "この権現後遺跡は勤続する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その区分経理は太い"が導かれる
9. 推論7と事実7から、推論8: "その優性形質は太い一方でそれは詳しくない"が導かれる
10. 推論8と事実12から、仮説が導かれる

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