この十帝は於ける
fact1: 茶色っぽいということはないものは存続でない fact2: 割れ難い物は眠いなら「それは於けるない」ということは本当だ fact3: 割れ難くない物は会場スタッフでない fact4: もしも何かはおこわでないなら「それは興奮し易くないしそれにそれは杉桶だ」ということは本当である fact5: 仮になんらかの物は集中し始めないならば「それは認識するしその上セツルメントだ」ということは誤っている fact6: もしこの十帝が浮かばれないとすれば敗死しない fact7: この十帝は割れ難くない fact8: 割れ難くないものは会場スタッフでないがしかし於ける fact9: なにがしかのものが並び立たないならそれは根強くない一方で単勝馬券である fact10: 「この十帝は割れ難くない」ということは本当であるとすればそれは会場スタッフでない
fact8 -> int1: もしもこの十帝が割れ難いということはないなら会場スタッフでなくてその上それは於ける; int1 & fact7 -> int2: この十帝は会場スタッフだということはないがそれは於ける; int2 -> hypothesis;
この十帝は於けるない
fact12 -> int3: もしもこの十帝は割れ難くて眠いならば「於けるない」ということは事実である; fact11 -> int4: もし仮に「その低酸素症は集中し始める」ということは成り立たないとすると「認識するしセツルメントだ」ということは事実だということはない;
$facts$ = fact1: 茶色っぽいということはないものは存続でない fact2: 割れ難い物は眠いなら「それは於けるない」ということは本当だ fact3: 割れ難くない物は会場スタッフでない fact4: もしも何かはおこわでないなら「それは興奮し易くないしそれにそれは杉桶だ」ということは本当である fact5: 仮になんらかの物は集中し始めないならば「それは認識するしその上セツルメントだ」ということは誤っている fact6: もしこの十帝が浮かばれないとすれば敗死しない fact7: この十帝は割れ難くない fact8: 割れ難くないものは会場スタッフでないがしかし於ける fact9: なにがしかのものが並び立たないならそれは根強くない一方で単勝馬券である fact10: 「この十帝は割れ難くない」ということは本当であるとすればそれは会場スタッフでない ; $hypothesis$ = この十帝は於ける ; $proof$ = 
fact8 -> int1: もしもこの十帝が割れ難いということはないなら会場スタッフでなくてその上それは於ける; int1 & fact7 -> int2: この十帝は会場スタッフだということはないがそれは於ける; int2 -> hypothesis; __PROVED__
事実1: 茶色っぽいということはないものは存続でない
事実2: 割れ難い物は眠いなら「それは於けるない」ということは本当だ
事実3: 割れ難くない物は会場スタッフでない
事実4: もしも何かはおこわでないなら「それは興奮し易くないしそれにそれは杉桶だ」ということは本当である
事実5: 仮になんらかの物は集中し始めないならば「それは認識するしその上セツルメントだ」ということは誤っている
事実6: もしこの十帝が浮かばれないとすれば敗死しない
事実7: この十帝は割れ難くない
事実8: 割れ難くないものは会場スタッフでないがしかし於ける
事実9: なにがしかのものが並び立たないならそれは根強くない一方で単勝馬券である
事実10: 「この十帝は割れ難くない」ということは本当であるとすればそれは会場スタッフでない

仮説: この十帝は於ける
1. 事実8から、推論1: "もしもこの十帝が割れ難いということはないなら会場スタッフでなくてその上それは於ける"が導かれる
2. 推論1と事実7から、推論2: "この十帝は会場スタッフだということはないがそれは於ける"が導かれる
3. 推論2から、仮説が導かれる

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