このロード・ブリティッシュは皆さんでまたスパイラルアップする
fact1: 嫌味っぽいということはない物はスパイラルアップするしその上皆さんだ fact2: このロード・ブリティッシュはコンクリート製だ fact3: その毎度毎度は皆さんだ fact4: このロード・ブリティッシュはスパイラルアップする fact5: 「その空堀は小暗くないがしかし除去出来る」ということは間違いである fact6: このロード・ブリティッシュは皆さんである fact7: あの両県は皆さんであるしおまけに語り伝える fact8: あの私的制裁はスパイラルアップする fact9: 「このロード・ブリティッシュはベーダである」ということは間違っているということはない fact10: このロード・ブリティッシュがパトロールするかもしくはいじましいならあのデートは嫌味っぽいということはない fact11: 仮に「「小暗くない一方で除去出来る」ということは成り立たない」物があるとすればこのＹ行は小暗い fact12: 仮に「小暗い」ものがあるとするとこのロード・ブリティッシュはパトロールするが町作り事業でない fact13: このロード・ブリティッシュは忙しい fact14: その異常集積はスパイラルアップする
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
あのデートはスパイラルアップする
fact17 -> int1: もしあのデートは嫌味っぽくないとしたら「スパイラルアップするしかつ皆さんだ」ということは正しい; fact16 -> int2: 「「小暗くないがしかし除去出来る」ということは誤りな」ものはある; int2 & fact19 -> int3: このＹ行は小暗い; int3 -> int4: 「小暗い」物はある; int4 & fact15 -> int5: このロード・ブリティッシュはパトロールする一方で町作り事業でない; int5 -> int6: このロード・ブリティッシュはパトロールする; int6 -> int7: このロード・ブリティッシュはパトロールするかまたはいじましい; fact18 & int7 -> int8: あのデートは嫌味っぽくない; int1 & int8 -> int9: あのデートはスパイラルアップするしその上皆さんである; int9 -> hypothesis;
$facts$ = fact1: 嫌味っぽいということはない物はスパイラルアップするしその上皆さんだ fact2: このロード・ブリティッシュはコンクリート製だ fact3: その毎度毎度は皆さんだ fact4: このロード・ブリティッシュはスパイラルアップする fact5: 「その空堀は小暗くないがしかし除去出来る」ということは間違いである fact6: このロード・ブリティッシュは皆さんである fact7: あの両県は皆さんであるしおまけに語り伝える fact8: あの私的制裁はスパイラルアップする fact9: 「このロード・ブリティッシュはベーダである」ということは間違っているということはない fact10: このロード・ブリティッシュがパトロールするかもしくはいじましいならあのデートは嫌味っぽいということはない fact11: 仮に「「小暗くない一方で除去出来る」ということは成り立たない」物があるとすればこのＹ行は小暗い fact12: 仮に「小暗い」ものがあるとするとこのロード・ブリティッシュはパトロールするが町作り事業でない fact13: このロード・ブリティッシュは忙しい fact14: その異常集積はスパイラルアップする ; $hypothesis$ = このロード・ブリティッシュは皆さんでまたスパイラルアップする ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: 嫌味っぽいということはない物はスパイラルアップするしその上皆さんだ
事実2: このロード・ブリティッシュはコンクリート製だ
事実3: その毎度毎度は皆さんだ
事実4: このロード・ブリティッシュはスパイラルアップする
事実5: 「その空堀は小暗くないがしかし除去出来る」ということは間違いである
事実6: このロード・ブリティッシュは皆さんである
事実7: あの両県は皆さんであるしおまけに語り伝える
事実8: あの私的制裁はスパイラルアップする
事実9: 「このロード・ブリティッシュはベーダである」ということは間違っているということはない
事実10: このロード・ブリティッシュがパトロールするかもしくはいじましいならあのデートは嫌味っぽいということはない
事実11: 仮に「「小暗くない一方で除去出来る」ということは成り立たない」物があるとすればこのＹ行は小暗い
事実12: 仮に「小暗い」ものがあるとするとこのロード・ブリティッシュはパトロールするが町作り事業でない
事実13: このロード・ブリティッシュは忙しい
事実14: その異常集積はスパイラルアップする

仮説: このロード・ブリティッシュは皆さんでまたスパイラルアップする
1. 事実6と事実4から、仮説が導かれる

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