あの光輝は尋ね合う
fact1: もしもあの光輝が尋ね合うとしたらキターブだ fact2: もし仮にあの光輝は携帯ストラップであるならばそれは五パーセント分だ fact3: もし「何かは携帯ストラップでそれにそれは五パーセント分だ」ということは成り立つということはないとすると尋ね合わない fact4: 「あの光輝は芸当でない」ということは成り立たないなら真っ白い fact5: 五パーセント分は携帯ストラップである fact6: この末梢神経障害は五パーセント分である fact7: 仮にその同人雑誌が由々しいとしたらもんじゃだ fact8: あの光輝は携帯ストラップである fact9: もしもこのρＮは腐り易くないならば「その草食動物は由々しいかあるいは攻撃し易いかあるいは両方ともだ」ということは成り立つということはない fact10: 「とある物は際どい」ということは確かならば疑り深い fact11: この報酬月額は携帯ストラップだ fact12: もしその商的流通は気だとしたら「このρＮは溶かし出さないけどそれは参照下さる」ということは確かでない fact13: あの光輝は基本類型である fact14: もしもこの武装解除が参照下さらないがそれが気ならばそれは溶かし出す fact15: その商的流通は気である fact16: もし仮に「ある物は溶かし出さないけど参照下さる」ということは真実でないならば腐り易くない fact17: この武装解除は参照下さらないが気である fact18: この長期間は携帯ストラップだ fact19: 「溶かし出す」ものがあればあの光輝は攻撃し易いかまたは腐り易くないかまたは両方ともである fact20: もしも何かは五パーセント分であるとすればそれは由々しい fact21: もし仮に何らかのものが由々しいとするとそれは尋ね合う
fact2 & fact8 -> int1: あの光輝は五パーセント分である; fact20 -> int2: もし仮にあの光輝が五パーセント分ならば由々しい; int1 & int2 -> int3: あの光輝は由々しい; fact21 -> int4: 仮にあの光輝が由々しいならそれは尋ね合う; int3 & int4 -> hypothesis;
fact2 & fact8 -> int1: {B}{a}; fact20 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact21 -> int4: {C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
あの発生場所は尋ね合う
fact24 & fact23 -> int5: この武装解除は溶かし出す; int5 -> int6: 何らかのものは溶かし出す; int6 & fact22 -> int7: あの光輝は攻撃し易いかもしくはそれは腐り易くない;
$facts$ = fact1: もしもあの光輝が尋ね合うとしたらキターブだ fact2: もし仮にあの光輝は携帯ストラップであるならばそれは五パーセント分だ fact3: もし「何かは携帯ストラップでそれにそれは五パーセント分だ」ということは成り立つということはないとすると尋ね合わない fact4: 「あの光輝は芸当でない」ということは成り立たないなら真っ白い fact5: 五パーセント分は携帯ストラップである fact6: この末梢神経障害は五パーセント分である fact7: 仮にその同人雑誌が由々しいとしたらもんじゃだ fact8: あの光輝は携帯ストラップである fact9: もしもこのρＮは腐り易くないならば「その草食動物は由々しいかあるいは攻撃し易いかあるいは両方ともだ」ということは成り立つということはない fact10: 「とある物は際どい」ということは確かならば疑り深い fact11: この報酬月額は携帯ストラップだ fact12: もしその商的流通は気だとしたら「このρＮは溶かし出さないけどそれは参照下さる」ということは確かでない fact13: あの光輝は基本類型である fact14: もしもこの武装解除が参照下さらないがそれが気ならばそれは溶かし出す fact15: その商的流通は気である fact16: もし仮に「ある物は溶かし出さないけど参照下さる」ということは真実でないならば腐り易くない fact17: この武装解除は参照下さらないが気である fact18: この長期間は携帯ストラップだ fact19: 「溶かし出す」ものがあればあの光輝は攻撃し易いかまたは腐り易くないかまたは両方ともである fact20: もしも何かは五パーセント分であるとすればそれは由々しい fact21: もし仮に何らかのものが由々しいとするとそれは尋ね合う ; $hypothesis$ = あの光輝は尋ね合う ; $proof$ = 
fact2 & fact8 -> int1: あの光輝は五パーセント分である; fact20 -> int2: もし仮にあの光輝が五パーセント分ならば由々しい; int1 & int2 -> int3: あの光輝は由々しい; fact21 -> 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: もしも何かは五パーセント分であるとすればそれは由々しい
事実21: もし仮に何らかのものが由々しいとするとそれは尋ね合う

仮説: あの光輝は尋ね合う
1. 事実2と事実8から、推論1: "あの光輝は五パーセント分である"が導かれる
2. 事実20から、推論2: "もし仮にあの光輝が五パーセント分ならば由々しい"が導かれる
3. 推論1と推論2から、推論3: "あの光輝は由々しい"が導かれる
4. 事実21から、推論4: "仮にあの光輝が由々しいならそれは尋ね合う"が導かれる
5. 推論3と推論4から、仮説が導かれる

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