そのワンピースは二年度である
fact1: 何かは黒変するということはないとするとそれは洗顔後であるかもしくはケーブル・インターネットである fact2: 「伸び易い」物はある fact3: 「火災な」物はある fact4: 仮に「観察し易い」ものがあるとすればその消費支出は黒変する fact5: もし仮にそのワンピースはごっこでないけれど淡いとすればそれは伸び易い fact6: 「この三十億円未満が借り易くないならばそのプログラム中は黒変する一方で伸び易くない」ということは成り立つ fact7: もしあるものが黒変する一方で伸び易くないなら「洗顔後だということはない」ということは成り立つ fact8: 何かは洗顔後だということはないとすると「ケーブル・インターネットであるかまたはそれは二年度である」ということは成り立つということはない fact9: ケーブル・インターネットは暗し fact10: そのワンピースは洗顔後だ fact11: そのワンピースが同視出来ない一方でそれが逸ればそれは統計学的方法だ fact12: その正弦条件は洗顔後である fact13: そのワンピースは洗顔後であるけどそれはケーブル・インターネットであるということはない fact14: もしもそのワンピースは変革すらないが延引すればそれは家財だ fact15: 仮になにかはケーブル・インターネットでないが黒変するなら二年度である fact16: 仮にそのワンピースが創意工夫でない一方でそれは伸び易いなら「それは御辛い」ということは真実である fact17: とある物が伸び易いとしたらそのワンピースは黒変する fact18: もしこの三十億円未満が憤死しないし更に暗しということはないなら借り易いということはない fact19: なにがしかのものは洗顔後であるなら「暗し」ということは正しい fact20: 「そのプログラム中はケーブル・インターネットであるか二年度であるか両方ともである」ということは間違いならばあのワンピースは二年度でない
fact13 -> int1: そのワンピースはケーブル・インターネットでない; fact2 & fact17 -> int2: そのワンピースは黒変する; int1 & int2 -> int3: そのワンピースはケーブル・インターネットでないけれど黒変する; fact15 -> int4: もし仮にそのワンピースがケーブル・インターネットでないがしかし黒変するなら二年度である; int3 & int4 -> hypothesis;
あるものは暗し
fact21 -> int5: 仮にそのワンピースがケーブル・インターネットだとしたらそれは暗し; fact22 -> int6: もしそのプログラム中が黒変しないなら洗顔後であるかもしくはケーブル・インターネットであるかまたはどちらもだ; fact23 -> int7: もし仮にそのワンピースは洗顔後であるなら暗し;
$facts$ = fact1: 何かは黒変するということはないとするとそれは洗顔後であるかもしくはケーブル・インターネットである fact2: 「伸び易い」物はある fact3: 「火災な」物はある fact4: 仮に「観察し易い」ものがあるとすればその消費支出は黒変する fact5: もし仮にそのワンピースはごっこでないけれど淡いとすればそれは伸び易い fact6: 「この三十億円未満が借り易くないならばそのプログラム中は黒変する一方で伸び易くない」ということは成り立つ fact7: もしあるものが黒変する一方で伸び易くないなら「洗顔後だということはない」ということは成り立つ fact8: 何かは洗顔後だということはないとすると「ケーブル・インターネットであるかまたはそれは二年度である」ということは成り立つということはない fact9: ケーブル・インターネットは暗し fact10: そのワンピースは洗顔後だ fact11: そのワンピースが同視出来ない一方でそれが逸ればそれは統計学的方法だ fact12: その正弦条件は洗顔後である fact13: そのワンピースは洗顔後であるけどそれはケーブル・インターネットであるということはない fact14: もしもそのワンピースは変革すらないが延引すればそれは家財だ fact15: 仮になにかはケーブル・インターネットでないが黒変するなら二年度である fact16: 仮にそのワンピースが創意工夫でない一方でそれは伸び易いなら「それは御辛い」ということは真実である fact17: とある物が伸び易いとしたらそのワンピースは黒変する fact18: もしこの三十億円未満が憤死しないし更に暗しということはないなら借り易いということはない fact19: なにがしかのものは洗顔後であるなら「暗し」ということは正しい fact20: 「そのプログラム中はケーブル・インターネットであるか二年度であるか両方ともである」ということは間違いならばあのワンピースは二年度でない ; $hypothesis$ = そのワンピースは二年度である ; $proof$ = 
fact13 -> int1: そのワンピースはケーブル・インターネットでない; fact2 & fact17 -> int2: そのワンピースは黒変する; int1 & int2 -> int3: そのワンピースはケーブル・インターネットでないけれど黒変する; fact15 -> int4: もし仮にそのワンピースがケーブル・インターネットでないがしかし黒変するなら二年度である; int3 & int4 -> hypothesis; __PROVED__
事実1: 何かは黒変するということはないとするとそれは洗顔後であるかもしくはケーブル・インターネットである
事実2: 「伸び易い」物はある
事実3: 「火災な」物はある
事実4: 仮に「観察し易い」ものがあるとすればその消費支出は黒変する
事実5: もし仮にそのワンピースはごっこでないけれど淡いとすればそれは伸び易い
事実6: 「この三十億円未満が借り易くないならばそのプログラム中は黒変する一方で伸び易くない」ということは成り立つ
事実7: もしあるものが黒変する一方で伸び易くないなら「洗顔後だということはない」ということは成り立つ
事実8: 何かは洗顔後だということはないとすると「ケーブル・インターネットであるかまたはそれは二年度である」ということは成り立つということはない
事実9: ケーブル・インターネットは暗し
事実10: そのワンピースは洗顔後だ
事実11: そのワンピースが同視出来ない一方でそれが逸ればそれは統計学的方法だ
事実12: その正弦条件は洗顔後である
事実13: そのワンピースは洗顔後であるけどそれはケーブル・インターネットであるということはない
事実14: もしもそのワンピースは変革すらないが延引すればそれは家財だ
事実15: 仮になにかはケーブル・インターネットでないが黒変するなら二年度である
事実16: 仮にそのワンピースが創意工夫でない一方でそれは伸び易いなら「それは御辛い」ということは真実である
事実17: とある物が伸び易いとしたらそのワンピースは黒変する
事実18: もしこの三十億円未満が憤死しないし更に暗しということはないなら借り易いということはない
事実19: なにがしかのものは洗顔後であるなら「暗し」ということは正しい
事実20: 「そのプログラム中はケーブル・インターネットであるか二年度であるか両方ともである」ということは間違いならばあのワンピースは二年度でない

仮説: そのワンピースは二年度である
1. 事実13から、推論1: "そのワンピースはケーブル・インターネットでない"が導かれる
2. 事実2と事実17から、推論2: "そのワンピースは黒変する"が導かれる
3. 推論1と推論2から、推論3: "そのワンピースはケーブル・インターネットでないけれど黒変する"が導かれる
4. 事実15から、推論4: "もし仮にそのワンピースがケーブル・インターネットでないがしかし黒変するなら二年度である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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