「このクリスタルは注目すらない」ということは成り立つ
fact1: もしあの女真文字は国主でないとしたら「その建物分は壊れ易いかもしくは掴み難くないかどちらもだ」ということは間違っている fact2: もしも「アンジェリークであるしさらに程遠い」物があるとすればこのクリスタルは注目すらない fact3: あの義父は惨めったらしいということはないがしかし程遠い fact4: その今期末は注目すし色っぽい fact5: もし仮にあるものは運用利回りでないなら重ね合わせるかまたはアンジェリークだということはない fact6: もしなんらかのものが入射するとしたら生命である fact7: 仮にとあるものは木らしくないならば「冷め易くないしそれに生まれ易くない」ということは成り立たない fact8: この入力チェックは入射するかもしくは聞き続けるかもしくは両方だ fact9: 「扱い易い」物はある fact10: もしもこの入力チェックは生命であるなら「あの女真文字は国主でない」ということは成り立つ fact11: 「あの義父はアンジェリークであるしそれに重ね合わせる」ということは事実だ fact12: あのナジブッラー政権はひょろ長いしそれに惨めったらしい fact13: 何らかのものが聞き続ければそれは生命である fact14: なんらかのものはアンジェリークだ fact15: 「なんらかのものは程遠いけど惨めったらしくない」ということは成り立たないならば押し合いだ fact16: 仮に「あるものは冷め易くないしかつ生まれ易くない」ということは偽だとすると運用利回りでない fact17: 仮になにかは惨めったらしくないなら「それは注目すらないし程遠くない」ということは成り立たない fact18: もし何らかの物が惨めったらしくて程遠いならばあの義父はアンジェリークでない fact19: もし仮に「「とあるものは壊れ易いかまたはそれは掴み難くないかまたは両方だ」ということは事実だ」ということは偽ならば「それは木らしいということはない」ということは確かである fact20: その建物分が重ね合わせるとしたらあの義父は惨めったらしくない
fact3 -> int1: 「あの義父は程遠い」ということは誤っていない; fact11 -> int2: あの義父はアンジェリークである; int1 & int2 -> int3: あの義父はアンジェリークであるしその上それは程遠い; int3 -> int4: 「アンジェリークであるしそれに程遠い」物はある; int4 & fact2 -> hypothesis;
その今期末は色っぽいししかも押し合いだ
fact22 -> int5: その今期末は色っぽい; fact21 -> int6: もしも「その今期末は程遠いけど惨めったらしくない」ということは真実でないとすれば押し合いだ;
$facts$ = fact1: もしあの女真文字は国主でないとしたら「その建物分は壊れ易いかもしくは掴み難くないかどちらもだ」ということは間違っている fact2: もしも「アンジェリークであるしさらに程遠い」物があるとすればこのクリスタルは注目すらない fact3: あの義父は惨めったらしいということはないがしかし程遠い fact4: その今期末は注目すし色っぽい fact5: もし仮にあるものは運用利回りでないなら重ね合わせるかまたはアンジェリークだということはない fact6: もしなんらかのものが入射するとしたら生命である fact7: 仮にとあるものは木らしくないならば「冷め易くないしそれに生まれ易くない」ということは成り立たない fact8: この入力チェックは入射するかもしくは聞き続けるかもしくは両方だ fact9: 「扱い易い」物はある fact10: もしもこの入力チェックは生命であるなら「あの女真文字は国主でない」ということは成り立つ fact11: 「あの義父はアンジェリークであるしそれに重ね合わせる」ということは事実だ fact12: あのナジブッラー政権はひょろ長いしそれに惨めったらしい fact13: 何らかのものが聞き続ければそれは生命である fact14: なんらかのものはアンジェリークだ fact15: 「なんらかのものは程遠いけど惨めったらしくない」ということは成り立たないならば押し合いだ fact16: 仮に「あるものは冷め易くないしかつ生まれ易くない」ということは偽だとすると運用利回りでない fact17: 仮になにかは惨めったらしくないなら「それは注目すらないし程遠くない」ということは成り立たない fact18: もし何らかの物が惨めったらしくて程遠いならばあの義父はアンジェリークでない fact19: もし仮に「「とあるものは壊れ易いかまたはそれは掴み難くないかまたは両方だ」ということは事実だ」ということは偽ならば「それは木らしいということはない」ということは確かである fact20: その建物分が重ね合わせるとしたらあの義父は惨めったらしくない ; $hypothesis$ = 「このクリスタルは注目すらない」ということは成り立つ ; $proof$ = 
fact3 -> int1: 「あの義父は程遠い」ということは誤っていない; fact11 -> int2: あの義父はアンジェリークである; int1 & int2 -> int3: あの義父はアンジェリークであるしその上それは程遠い; int3 -> int4: 「アンジェリークであるしそれに程遠い」物はある; int4 & fact2 -> hypothesis; __PROVED__
事実1: もしあの女真文字は国主でないとしたら「その建物分は壊れ易いかもしくは掴み難くないかどちらもだ」ということは間違っている
事実2: もしも「アンジェリークであるしさらに程遠い」物があるとすればこのクリスタルは注目すらない
事実3: あの義父は惨めったらしいということはないがしかし程遠い
事実4: その今期末は注目すし色っぽい
事実5: もし仮にあるものは運用利回りでないなら重ね合わせるかまたはアンジェリークだということはない
事実6: もしなんらかのものが入射するとしたら生命である
事実7: 仮にとあるものは木らしくないならば「冷め易くないしそれに生まれ易くない」ということは成り立たない
事実8: この入力チェックは入射するかもしくは聞き続けるかもしくは両方だ
事実9: 「扱い易い」物はある
事実10: もしもこの入力チェックは生命であるなら「あの女真文字は国主でない」ということは成り立つ
事実11: 「あの義父はアンジェリークであるしそれに重ね合わせる」ということは事実だ
事実12: あのナジブッラー政権はひょろ長いしそれに惨めったらしい
事実13: 何らかのものが聞き続ければそれは生命である
事実14: なんらかのものはアンジェリークだ
事実15: 「なんらかのものは程遠いけど惨めったらしくない」ということは成り立たないならば押し合いだ
事実16: 仮に「あるものは冷め易くないしかつ生まれ易くない」ということは偽だとすると運用利回りでない
事実17: 仮になにかは惨めったらしくないなら「それは注目すらないし程遠くない」ということは成り立たない
事実18: もし何らかの物が惨めったらしくて程遠いならばあの義父はアンジェリークでない
事実19: もし仮に「「とあるものは壊れ易いかまたはそれは掴み難くないかまたは両方だ」ということは事実だ」ということは偽ならば「それは木らしいということはない」ということは確かである
事実20: その建物分が重ね合わせるとしたらあの義父は惨めったらしくない

仮説: 「このクリスタルは注目すらない」ということは成り立つ
1. 事実3から、推論1: "「あの義父は程遠い」ということは誤っていない"が導かれる
2. 事実11から、推論2: "あの義父はアンジェリークである"が導かれる
3. 推論1と推論2から、推論3: "あの義父はアンジェリークであるしその上それは程遠い"が導かれる
4. 推論3から、推論4: "「アンジェリークであるしそれに程遠い」物はある"が導かれる
5. 推論4と事実2から、仮説が導かれる

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