「その既知はおもろい」ということは真実だ
fact1: 仮にその卑劣が出現でない一方で粗いならばあのメープルシロップは普遍化しない fact2: もし仮にその既知がおもろいとしたらあのメープルシロップは合名会社だ fact3: もし仮にあのメープルシロップは広いとしたら「その既知はおもろい」ということは成り立つ fact4: あのメープルシロップが垂れ込めばその既知はおもろくない fact5: もし仮にその卑劣は普遍化するということはないとすれば「それは狂わすということはないかそれは粗いということはないかあるいは両方だ」ということは成り立たない fact6: あのメープルシロップは広い fact7: 広いということはないものは垂れ込むかおもろくないかあるいは両方である fact8: その卑劣は出現でないがそれは粗い fact9: もし「灌水である」ものはあれば「「その既知はおもろくないがしかしそれは垂れ込む」ということは真実である」ということは成り立たない fact10: もしその既知は広いとすれば「あのメープルシロップはおもろい」ということは成り立つ fact11: もしもあの手形法が広いとしたらあの脂肪蓄積はおもろい fact12: あのメープルシロップはおもろい fact13: もし仮に「その卑劣は狂わさないか粗くないかあるいは両方ともである」ということは成り立たないとしたらあのメープルシロップは狂わすということはない fact14: その卑劣は普遍化しない fact15: もし仮にとあるものは普遍化しないとしたら「高しししかも狂わす」ということは間違いである fact16: もし仮にその既知が広いならばこのＩＳＢＮはおもろい fact17: あのメープルシロップは安し fact18: 「なにがしかのものは御返事する」ということは真実であるとすると灌水だ fact19: ある物が御返事しないなら広くないが灌水である fact20: その既知は細胞体積だ fact21: あのメープルシロップがおもろいとしたらその既知は広い fact22: 仮になんらかのものが狂わさないとすればそれは高ししかつ御返事する
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
その既知は広い
fact24 -> int1: あのメープルシロップが御返事するとしたらそれは灌水である; fact28 -> int2: もしもあのメープルシロップが狂わさないなら高ししさらに御返事する; fact27 & fact23 -> int3: 「その卑劣は狂わさないかあるいはそれは粗くないかもしくは両方である」ということは成り立たない; fact25 & int3 -> int4: あのメープルシロップは狂わさない; int2 & int4 -> int5: あのメープルシロップは高しし御返事する; int5 -> int6: あのメープルシロップは御返事する; int1 & int6 -> int7: あのメープルシロップは灌水だ; int7 -> int8: 「灌水な」物はある; int8 & fact26 -> int9: 「その既知はおもろくないけれど垂れ込む」ということは間違っている;
$facts$ = fact1: 仮にその卑劣が出現でない一方で粗いならばあのメープルシロップは普遍化しない fact2: もし仮にその既知がおもろいとしたらあのメープルシロップは合名会社だ fact3: もし仮にあのメープルシロップは広いとしたら「その既知はおもろい」ということは成り立つ fact4: あのメープルシロップが垂れ込めばその既知はおもろくない fact5: もし仮にその卑劣は普遍化するということはないとすれば「それは狂わすということはないかそれは粗いということはないかあるいは両方だ」ということは成り立たない fact6: あのメープルシロップは広い fact7: 広いということはないものは垂れ込むかおもろくないかあるいは両方である fact8: その卑劣は出現でないがそれは粗い fact9: もし「灌水である」ものはあれば「「その既知はおもろくないがしかしそれは垂れ込む」ということは真実である」ということは成り立たない fact10: もしその既知は広いとすれば「あのメープルシロップはおもろい」ということは成り立つ fact11: もしもあの手形法が広いとしたらあの脂肪蓄積はおもろい fact12: あのメープルシロップはおもろい fact13: もし仮に「その卑劣は狂わさないか粗くないかあるいは両方ともである」ということは成り立たないとしたらあのメープルシロップは狂わすということはない fact14: その卑劣は普遍化しない fact15: もし仮にとあるものは普遍化しないとしたら「高しししかも狂わす」ということは間違いである fact16: もし仮にその既知が広いならばこのＩＳＢＮはおもろい fact17: あのメープルシロップは安し fact18: 「なにがしかのものは御返事する」ということは真実であるとすると灌水だ fact19: ある物が御返事しないなら広くないが灌水である fact20: その既知は細胞体積だ fact21: あのメープルシロップがおもろいとしたらその既知は広い fact22: 仮になんらかのものが狂わさないとすればそれは高ししかつ御返事する ; $hypothesis$ = 「その既知はおもろい」ということは真実だ ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: 仮にその卑劣が出現でない一方で粗いならばあのメープルシロップは普遍化しない
事実2: もし仮にその既知がおもろいとしたらあのメープルシロップは合名会社だ
事実3: もし仮にあのメープルシロップは広いとしたら「その既知はおもろい」ということは成り立つ
事実4: あのメープルシロップが垂れ込めばその既知はおもろくない
事実5: もし仮にその卑劣は普遍化するということはないとすれば「それは狂わすということはないかそれは粗いということはないかあるいは両方だ」ということは成り立たない
事実6: あのメープルシロップは広い
事実7: 広いということはないものは垂れ込むかおもろくないかあるいは両方である
事実8: その卑劣は出現でないがそれは粗い
事実9: もし「灌水である」ものはあれば「「その既知はおもろくないがしかしそれは垂れ込む」ということは真実である」ということは成り立たない
事実10: もしその既知は広いとすれば「あのメープルシロップはおもろい」ということは成り立つ
事実11: もしもあの手形法が広いとしたらあの脂肪蓄積はおもろい
事実12: あのメープルシロップはおもろい
事実13: もし仮に「その卑劣は狂わさないか粗くないかあるいは両方ともである」ということは成り立たないとしたらあのメープルシロップは狂わすということはない
事実14: その卑劣は普遍化しない
事実15: もし仮にとあるものは普遍化しないとしたら「高しししかも狂わす」ということは間違いである
事実16: もし仮にその既知が広いならばこのＩＳＢＮはおもろい
事実17: あのメープルシロップは安し
事実18: 「なにがしかのものは御返事する」ということは真実であるとすると灌水だ
事実19: ある物が御返事しないなら広くないが灌水である
事実20: その既知は細胞体積だ
事実21: あのメープルシロップがおもろいとしたらその既知は広い
事実22: 仮になんらかのものが狂わさないとすればそれは高ししかつ御返事する

仮説: 「その既知はおもろい」ということは真実だ
1. 事実3と事実6から、仮説が導かれる

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