「「あのバリア効果は事無しでないがしかし極まりない」ということは事実と異なる」ということは成り立つ
fact1: それは事無しだということはないけれど極まりないというものはない fact2: もしそのアルカイスムは調べ易くないとすると「あのバリア効果は事無しでないがそれは極まりない」ということは事実だ fact3: 焼却処分しなくて更にそれは割れ易いという物はない fact4: もし仮にとあるものがホームレスだとすればそれは忘れ易い fact5: 仮にその黒子・黒痣が押し寄せるしそれが忘れ易いならばそのアルカイスムは調べ易くない fact6: もしも「「スタティック・ストレッチングである」ということは事実と異ならない」物があればその黒子・黒痣は用い易いしさらに押し寄せる fact7: 利用し易くてそれは話し易いというものはない fact8: この中央値はスタティック・ストレッチングである fact9: 「この青年期は気まずくて加えて烏滸がましい」ということは誤っている fact10: もし仮に何らかのものは調べ易いなら「それは入渓者でなくてしかもそれは似合いである」ということは成り立つということはない fact11: 痛めないけど利用し易いという物はない
fact1 -> hypothesis;
fact1 -> hypothesis;
あのバリア効果は事無しでないがしかし極まりない
fact16 -> int1: スタティック・ストレッチングはある; int1 & fact14 -> int2: その黒子・黒痣は用い易いしかつそれは押し寄せる; int2 -> int3: その黒子・黒痣は押し寄せる; fact13 -> int4: もしもその黒子・黒痣はホームレスであるとしたら忘れ易い;
$facts$ = fact1: それは事無しだということはないけれど極まりないというものはない fact2: もしそのアルカイスムは調べ易くないとすると「あのバリア効果は事無しでないがそれは極まりない」ということは事実だ fact3: 焼却処分しなくて更にそれは割れ易いという物はない fact4: もし仮にとあるものがホームレスだとすればそれは忘れ易い fact5: 仮にその黒子・黒痣が押し寄せるしそれが忘れ易いならばそのアルカイスムは調べ易くない fact6: もしも「「スタティック・ストレッチングである」ということは事実と異ならない」物があればその黒子・黒痣は用い易いしさらに押し寄せる fact7: 利用し易くてそれは話し易いというものはない fact8: この中央値はスタティック・ストレッチングである fact9: 「この青年期は気まずくて加えて烏滸がましい」ということは誤っている fact10: もし仮に何らかのものは調べ易いなら「それは入渓者でなくてしかもそれは似合いである」ということは成り立つということはない fact11: 痛めないけど利用し易いという物はない ; $hypothesis$ = 「「あのバリア効果は事無しでないがしかし極まりない」ということは事実と異なる」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: それは事無しだということはないけれど極まりないというものはない
事実2: もしそのアルカイスムは調べ易くないとすると「あのバリア効果は事無しでないがそれは極まりない」ということは事実だ
事実3: 焼却処分しなくて更にそれは割れ易いという物はない
事実4: もし仮にとあるものがホームレスだとすればそれは忘れ易い
事実5: 仮にその黒子・黒痣が押し寄せるしそれが忘れ易いならばそのアルカイスムは調べ易くない
事実6: もしも「「スタティック・ストレッチングである」ということは事実と異ならない」物があればその黒子・黒痣は用い易いしさらに押し寄せる
事実7: 利用し易くてそれは話し易いというものはない
事実8: この中央値はスタティック・ストレッチングである
事実9: 「この青年期は気まずくて加えて烏滸がましい」ということは誤っている
事実10: もし仮に何らかのものは調べ易いなら「それは入渓者でなくてしかもそれは似合いである」ということは成り立つということはない
事実11: 痛めないけど利用し易いという物はない

仮説: 「「あのバリア効果は事無しでないがしかし極まりない」ということは事実と異なる」ということは成り立つ
1. 事実1から、仮説が導かれる

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