あの印章は予期しない
fact1: あの清算中は予期しないとすれば「あの印章は予期しない」ということは成り立つ fact2: もしあの印章が吸収され易くないならばそれが起こし難いしその上やばくない fact3: 仮にあの印章は把握し難くないならばそれは名高くない fact4: 「あの印章は把握し難くない」ということは誤っていない fact5: もし仮にあの印章は把握し難くないとすれば「それは繰り下げるししかも名高くない」ということは確かである fact6: もしも何らかのものが繰り下げるとするとそれはやばい fact7: あの印章は名高くない fact8: 仮にあの変貌振りが鉄器だということはないならばそれは繰り下げるけれど選らない fact9: やばいものは予期する fact10: もしもあの照合作業は名高いとすると「ダイヤモンド島である」ということは成り立つ fact11: あの印章は溶断である fact12: あの印章はマッサージ出来る一方で貧しくない
fact5 & fact4 -> int1: あの印章は繰り下げるがしかし名高いということはない; int1 -> int2: あの印章は繰り下げる; fact6 -> int3: 仮にあの印章が繰り下げるならそれはやばい; int2 & int3 -> int4: あの印章はやばい; fact9 -> int5: 仮にあの印章がやばいならそれは予期する; int4 & int5 -> hypothesis;
あの印章は予期するということはない
$facts$ = fact1: あの清算中は予期しないとすれば「あの印章は予期しない」ということは成り立つ fact2: もしあの印章が吸収され易くないならばそれが起こし難いしその上やばくない fact3: 仮にあの印章は把握し難くないならばそれは名高くない fact4: 「あの印章は把握し難くない」ということは誤っていない fact5: もし仮にあの印章は把握し難くないとすれば「それは繰り下げるししかも名高くない」ということは確かである fact6: もしも何らかのものが繰り下げるとするとそれはやばい fact7: あの印章は名高くない fact8: 仮にあの変貌振りが鉄器だということはないならばそれは繰り下げるけれど選らない fact9: やばいものは予期する fact10: もしもあの照合作業は名高いとすると「ダイヤモンド島である」ということは成り立つ fact11: あの印章は溶断である fact12: あの印章はマッサージ出来る一方で貧しくない ; $hypothesis$ = あの印章は予期しない ; $proof$ = 
fact5 & fact4 -> int1: あの印章は繰り下げるがしかし名高いということはない; int1 -> int2: あの印章は繰り下げる; fact6 -> int3: 仮にあの印章が繰り下げるならそれはやばい; int2 & int3 -> int4: あの印章はやばい; fact9 -> int5: 仮にあの印章がやばいならそれは予期する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あの清算中は予期しないとすれば「あの印章は予期しない」ということは成り立つ
事実2: もしあの印章が吸収され易くないならばそれが起こし難いしその上やばくない
事実3: 仮にあの印章は把握し難くないならばそれは名高くない
事実4: 「あの印章は把握し難くない」ということは誤っていない
事実5: もし仮にあの印章は把握し難くないとすれば「それは繰り下げるししかも名高くない」ということは確かである
事実6: もしも何らかのものが繰り下げるとするとそれはやばい
事実7: あの印章は名高くない
事実8: 仮にあの変貌振りが鉄器だということはないならばそれは繰り下げるけれど選らない
事実9: やばいものは予期する
事実10: もしもあの照合作業は名高いとすると「ダイヤモンド島である」ということは成り立つ
事実11: あの印章は溶断である
事実12: あの印章はマッサージ出来る一方で貧しくない

仮説: あの印章は予期しない
1. 事実5と事実4から、推論1: "あの印章は繰り下げるがしかし名高いということはない"が導かれる
2. 推論1から、推論2: "あの印章は繰り下げる"が導かれる
3. 事実6から、推論3: "仮にあの印章が繰り下げるならそれはやばい"が導かれる
4. 推論2と推論3から、推論4: "あの印章はやばい"が導かれる
5. 事実9から、推論5: "仮にあの印章がやばいならそれは予期する"が導かれる
6. 推論4と推論5から、仮説が否定される

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