あの義心は拾えない
fact1: 仮にそのソーラー・プレクサス・チャクラが共晶セルだし小賢しいならばあの義心は拾えるということはない fact2: そのソーラー・プレクサス・チャクラが麗々しいしそれが酸っぱいならば近付き難い fact3: もしそのソーラー・プレクサス・チャクラは麗々しいがしかし酸っぱくないとしたらそれは近付き難い fact4: そのソーラー・プレクサス・チャクラは鎧わない fact5: 仮にあの再定義が共晶セルでないとすればそのソーラー・プレクサス・チャクラは鎧うし混入し易い fact6: 仮に「なにがしかのものは鎧う」ということは事実であるとすれば拾える fact7: 「そのソーラー・プレクサス・チャクラは麗々しいがしかし酸っぱくない」ということは成り立つ fact8: もしも「このブルーチーズ和えは麗々しくないしおまけに酸っぱくない」ということは嘘であるならその電子メディアは小賢しくない fact9: あの義心は混入し易くない fact10: もしそのソーラー・プレクサス・チャクラは鎧うなら「あの義心は鎧う」ということは本当である fact11: そのソーラー・プレクサス・チャクラは混入し易い fact12: そのソーラー・プレクサス・チャクラは酸っぱくない fact13: 仮にこの白味噌が代償するかもしくは騙され易いか両方ならばあのブルーチーズ和えは腐り易くない fact14: もし仮にこのブルーチーズ和えは腐り易くないならば「麗々しくないしさらに酸っぱくない」ということは間違いである fact15: この白味噌は代償するかもしくは騙され易いかあるいは両方ともだ fact16: あの義心は共晶セルだということはない fact17: 仮に「なんらかのものは鎧わないが混入し易い」ということは確かだとしたら共晶セルである fact18: もしなにかは近付き難いとすればそれは小賢しい fact19: その創造力は鎧わない
fact4 & fact11 -> int1: そのソーラー・プレクサス・チャクラは鎧わないけれどそれは混入し易い; fact17 -> int2: もしそのソーラー・プレクサス・チャクラは鎧わないけど混入し易いなら共晶セルだ; int1 & int2 -> int3: そのソーラー・プレクサス・チャクラは共晶セルだ; fact7 & fact3 -> int4: そのソーラー・プレクサス・チャクラは近付き難い; fact18 -> int5: もしもそのソーラー・プレクサス・チャクラが近付き難いならば小賢しい; int4 & int5 -> int6: そのソーラー・プレクサス・チャクラは小賢しい; int3 & int6 -> int7: そのソーラー・プレクサス・チャクラは共晶セルであるしそれは小賢しい; int7 & fact1 -> hypothesis;
あの義心は拾える
fact21 -> int8: もしもあの義心が鎧うとすれば拾える; fact20 & fact26 -> int9: このブルーチーズ和えは腐り易くない; fact24 & int9 -> int10: 「このブルーチーズ和えは麗々しくなくて酸っぱくない」ということは偽である; fact25 & int10 -> int11: その電子メディアは小賢しくない;
$facts$ = fact1: 仮にそのソーラー・プレクサス・チャクラが共晶セルだし小賢しいならばあの義心は拾えるということはない fact2: そのソーラー・プレクサス・チャクラが麗々しいしそれが酸っぱいならば近付き難い fact3: もしそのソーラー・プレクサス・チャクラは麗々しいがしかし酸っぱくないとしたらそれは近付き難い fact4: そのソーラー・プレクサス・チャクラは鎧わない fact5: 仮にあの再定義が共晶セルでないとすればそのソーラー・プレクサス・チャクラは鎧うし混入し易い fact6: 仮に「なにがしかのものは鎧う」ということは事実であるとすれば拾える fact7: 「そのソーラー・プレクサス・チャクラは麗々しいがしかし酸っぱくない」ということは成り立つ fact8: もしも「このブルーチーズ和えは麗々しくないしおまけに酸っぱくない」ということは嘘であるならその電子メディアは小賢しくない fact9: あの義心は混入し易くない fact10: もしそのソーラー・プレクサス・チャクラは鎧うなら「あの義心は鎧う」ということは本当である fact11: そのソーラー・プレクサス・チャクラは混入し易い fact12: そのソーラー・プレクサス・チャクラは酸っぱくない fact13: 仮にこの白味噌が代償するかもしくは騙され易いか両方ならばあのブルーチーズ和えは腐り易くない fact14: もし仮にこのブルーチーズ和えは腐り易くないならば「麗々しくないしさらに酸っぱくない」ということは間違いである fact15: この白味噌は代償するかもしくは騙され易いかあるいは両方ともだ fact16: あの義心は共晶セルだということはない fact17: 仮に「なんらかのものは鎧わないが混入し易い」ということは確かだとしたら共晶セルである fact18: もしなにかは近付き難いとすればそれは小賢しい fact19: その創造力は鎧わない ; $hypothesis$ = あの義心は拾えない ; $proof$ = 
fact4 & fact11 -> int1: そのソーラー・プレクサス・チャクラは鎧わないけれどそれは混入し易い; fact17 -> int2: もしそのソーラー・プレクサス・チャクラは鎧わないけど混入し易いなら共晶セルだ; int1 & int2 -> int3: そのソーラー・プレクサス・チャクラは共晶セルだ; fact7 & fact3 -> int4: そのソーラー・プレクサス・チャクラは近付き難い; fact18 -> int5: もしもそのソーラー・プレクサス・チャクラが近付き難いならば小賢しい; int4 & int5 -> int6: そのソーラー・プレクサス・チャクラは小賢しい; int3 & int6 -> int7: そのソーラー・プレクサス・チャクラは共晶セルであるしそれは小賢しい; int7 & fact1 -> hypothesis; __PROVED__
事実1: 仮にそのソーラー・プレクサス・チャクラが共晶セルだし小賢しいならばあの義心は拾えるということはない
事実2: そのソーラー・プレクサス・チャクラが麗々しいしそれが酸っぱいならば近付き難い
事実3: もしそのソーラー・プレクサス・チャクラは麗々しいがしかし酸っぱくないとしたらそれは近付き難い
事実4: そのソーラー・プレクサス・チャクラは鎧わない
事実5: 仮にあの再定義が共晶セルでないとすればそのソーラー・プレクサス・チャクラは鎧うし混入し易い
事実6: 仮に「なにがしかのものは鎧う」ということは事実であるとすれば拾える
事実7: 「そのソーラー・プレクサス・チャクラは麗々しいがしかし酸っぱくない」ということは成り立つ
事実8: もしも「このブルーチーズ和えは麗々しくないしおまけに酸っぱくない」ということは嘘であるならその電子メディアは小賢しくない
事実9: あの義心は混入し易くない
事実10: もしそのソーラー・プレクサス・チャクラは鎧うなら「あの義心は鎧う」ということは本当である
事実11: そのソーラー・プレクサス・チャクラは混入し易い
事実12: そのソーラー・プレクサス・チャクラは酸っぱくない
事実13: 仮にこの白味噌が代償するかもしくは騙され易いか両方ならばあのブルーチーズ和えは腐り易くない
事実14: もし仮にこのブルーチーズ和えは腐り易くないならば「麗々しくないしさらに酸っぱくない」ということは間違いである
事実15: この白味噌は代償するかもしくは騙され易いかあるいは両方ともだ
事実16: あの義心は共晶セルだということはない
事実17: 仮に「なんらかのものは鎧わないが混入し易い」ということは確かだとしたら共晶セルである
事実18: もしなにかは近付き難いとすればそれは小賢しい
事実19: その創造力は鎧わない

仮説: あの義心は拾えない
1. 事実4と事実11から、推論1: "そのソーラー・プレクサス・チャクラは鎧わないけれどそれは混入し易い"が導かれる
2. 事実17から、推論2: "もしそのソーラー・プレクサス・チャクラは鎧わないけど混入し易いなら共晶セルだ"が導かれる
3. 推論1と推論2から、推論3: "そのソーラー・プレクサス・チャクラは共晶セルだ"が導かれる
4. 事実7と事実3から、推論4: "そのソーラー・プレクサス・チャクラは近付き難い"が導かれる
5. 事実18から、推論5: "もしもそのソーラー・プレクサス・チャクラが近付き難いならば小賢しい"が導かれる
6. 推論4と推論5から、推論6: "そのソーラー・プレクサス・チャクラは小賢しい"が導かれる
7. 推論3と推論6から、推論7: "そのソーラー・プレクサス・チャクラは共晶セルであるしそれは小賢しい"が導かれる
8. 推論7と事実1から、仮説が導かれる

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