あの形代は三作でない
fact1: 仮にこの史書が最前面であるとしたらあの形代は三作でないしかつそれは凍えない fact2: 「とある物は最前面であるがしかし履かない」ということは誤りだとすれば「三作だ」ということは成り立つ fact3: 仮にこの史書は汚れ易くないとしたら「それは三作だということはないかまたはそれは最前面でないかあるいは両方ともである」ということは嘘である fact4: あの三千六百ＲＰＭが汚れ易いならそれは漂流しない fact5: 仮にあの形代が漂流するとすると汚れ易い fact6: あの形代が凍えないしさらに履かない fact7: もしもこの史書が最前面であるとしたらあの形代は凍えない fact8: もし仮になにがしかのものは履くとすると「リンポシェだということはなくて蜻蛉大臣でない」ということは本当だ fact9: もしもあの形代が遊び呆けるしかつそれが汚れ易いとするとこの史書は汚れ易いということはない fact10: この史書が履くしその上それは最前面だ fact11: あの形代は遊び呆ける fact12: あの形代は凍えない fact13: この史書は履くしまた御存じ無い fact14: もし仮に「この史書は漂流するし凍える」ということは正しいということはないとしたらそれは凍えない fact15: もし「この史書は最前面だ」ということは成り立つならばあの形代は履かない fact16: この史書は履く fact17: もし仮に「漂流しない」物はあるなら「この史書は漂流するしまたそれは凍える」ということは誤っている fact18: もし仮にあの三千六百ＲＰＭが通信販売でないならそれは汚れ易いしそれは遊び呆ける fact19: あの三千六百ＲＰＭは機械時計でないし更に通信販売でない
fact10 -> int1: この史書は最前面である; int1 & fact1 -> int2: あの形代は三作でないししかもそれは凍えるということはない; int2 -> hypothesis;
あの検討項目は凍える
$facts$ = fact1: 仮にこの史書が最前面であるとしたらあの形代は三作でないしかつそれは凍えない fact2: 「とある物は最前面であるがしかし履かない」ということは誤りだとすれば「三作だ」ということは成り立つ fact3: 仮にこの史書は汚れ易くないとしたら「それは三作だということはないかまたはそれは最前面でないかあるいは両方ともである」ということは嘘である fact4: あの三千六百ＲＰＭが汚れ易いならそれは漂流しない fact5: 仮にあの形代が漂流するとすると汚れ易い fact6: あの形代が凍えないしさらに履かない fact7: もしもこの史書が最前面であるとしたらあの形代は凍えない fact8: もし仮になにがしかのものは履くとすると「リンポシェだということはなくて蜻蛉大臣でない」ということは本当だ fact9: もしもあの形代が遊び呆けるしかつそれが汚れ易いとするとこの史書は汚れ易いということはない fact10: この史書が履くしその上それは最前面だ fact11: あの形代は遊び呆ける fact12: あの形代は凍えない fact13: この史書は履くしまた御存じ無い fact14: もし仮に「この史書は漂流するし凍える」ということは正しいということはないとしたらそれは凍えない fact15: もし「この史書は最前面だ」ということは成り立つならばあの形代は履かない fact16: この史書は履く fact17: もし仮に「漂流しない」物はあるなら「この史書は漂流するしまたそれは凍える」ということは誤っている fact18: もし仮にあの三千六百ＲＰＭが通信販売でないならそれは汚れ易いしそれは遊び呆ける fact19: あの三千六百ＲＰＭは機械時計でないし更に通信販売でない ; $hypothesis$ = あの形代は三作でない ; $proof$ = 
fact10 -> int1: この史書は最前面である; int1 & fact1 -> int2: あの形代は三作でないししかもそれは凍えるということはない; int2 -> hypothesis; __PROVED__
事実1: 仮にこの史書が最前面であるとしたらあの形代は三作でないしかつそれは凍えない
事実2: 「とある物は最前面であるがしかし履かない」ということは誤りだとすれば「三作だ」ということは成り立つ
事実3: 仮にこの史書は汚れ易くないとしたら「それは三作だということはないかまたはそれは最前面でないかあるいは両方ともである」ということは嘘である
事実4: あの三千六百ＲＰＭが汚れ易いならそれは漂流しない
事実5: 仮にあの形代が漂流するとすると汚れ易い
事実6: あの形代が凍えないしさらに履かない
事実7: もしもこの史書が最前面であるとしたらあの形代は凍えない
事実8: もし仮になにがしかのものは履くとすると「リンポシェだということはなくて蜻蛉大臣でない」ということは本当だ
事実9: もしもあの形代が遊び呆けるしかつそれが汚れ易いとするとこの史書は汚れ易いということはない
事実10: この史書が履くしその上それは最前面だ
事実11: あの形代は遊び呆ける
事実12: あの形代は凍えない
事実13: この史書は履くしまた御存じ無い
事実14: もし仮に「この史書は漂流するし凍える」ということは正しいということはないとしたらそれは凍えない
事実15: もし「この史書は最前面だ」ということは成り立つならばあの形代は履かない
事実16: この史書は履く
事実17: もし仮に「漂流しない」物はあるなら「この史書は漂流するしまたそれは凍える」ということは誤っている
事実18: もし仮にあの三千六百ＲＰＭが通信販売でないならそれは汚れ易いしそれは遊び呆ける
事実19: あの三千六百ＲＰＭは機械時計でないし更に通信販売でない

仮説: あの形代は三作でない
1. 事実10から、推論1: "この史書は最前面である"が導かれる
2. 推論1と事実1から、推論2: "あの形代は三作でないししかもそれは凍えるということはない"が導かれる
3. 推論2から、仮説が導かれる

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