あの癲癇は威張れる
fact1: あの癲癇は貧乏臭い fact2: あの癲癇は真核細胞である fact3: あの計画変更は捌く fact4: あの西本願寺は捌く fact5: あの癲癇はキャストする fact6: あの癲癇は泣ける fact7: 判別し難い物は捌く fact8: この文学青年は威張れる fact9: もし仮にこの日支が持ち過ぎるとするとそれは捌く fact10: あの癲癇は捌く fact11: あの癲癇は晴々しい fact12: あの癲癇は行政不服審査法である fact13: あの癲癇はアルタイルだ fact14: あの癲癇は仕上げ用ジャムであるならそれは研究開発する fact15: もし仮にこの孝霊紀が捌くとするとその誤動作は威張れないかもしくは引き起こし兼ねらない fact16: この爪は威張れる fact17: もし仮に「この鳥肉は涙ぐましい」ということは正しいとすれば威張れる fact18: あの癲癇は最終期限だ fact19: 仮にあの癲癇が捌けばそれは威張れる fact20: あの民族自決権は威張れる fact21: 「あの癲癇は複数登録する」ということは本当である fact22: その安土城がアプローチするとすればそれは度し難い fact23: 「仮にあの癲癇は捌くとすると「あの癲癇は書き綴る」ということは真実である」ということは確かである
fact19 & fact10 -> hypothesis;
fact19 & fact10 -> hypothesis;
あの癲癇は威張れない
fact25 -> int1: 仮にこの孝霊紀が判別し難いならばそれは捌く;
$facts$ = fact1: あの癲癇は貧乏臭い fact2: あの癲癇は真核細胞である fact3: あの計画変更は捌く fact4: あの西本願寺は捌く fact5: あの癲癇はキャストする fact6: あの癲癇は泣ける fact7: 判別し難い物は捌く fact8: この文学青年は威張れる fact9: もし仮にこの日支が持ち過ぎるとするとそれは捌く fact10: あの癲癇は捌く fact11: あの癲癇は晴々しい fact12: あの癲癇は行政不服審査法である fact13: あの癲癇はアルタイルだ fact14: あの癲癇は仕上げ用ジャムであるならそれは研究開発する fact15: もし仮にこの孝霊紀が捌くとするとその誤動作は威張れないかもしくは引き起こし兼ねらない fact16: この爪は威張れる fact17: もし仮に「この鳥肉は涙ぐましい」ということは正しいとすれば威張れる fact18: あの癲癇は最終期限だ fact19: 仮にあの癲癇が捌けばそれは威張れる fact20: あの民族自決権は威張れる fact21: 「あの癲癇は複数登録する」ということは本当である fact22: その安土城がアプローチするとすればそれは度し難い fact23: 「仮にあの癲癇は捌くとすると「あの癲癇は書き綴る」ということは真実である」ということは確かである ; $hypothesis$ = あの癲癇は威張れる ; $proof$ = 
fact19 & fact10 -> hypothesis; __PROVED__
事実1: あの癲癇は貧乏臭い
事実2: あの癲癇は真核細胞である
事実3: あの計画変更は捌く
事実4: あの西本願寺は捌く
事実5: あの癲癇はキャストする
事実6: あの癲癇は泣ける
事実7: 判別し難い物は捌く
事実8: この文学青年は威張れる
事実9: もし仮にこの日支が持ち過ぎるとするとそれは捌く
事実10: あの癲癇は捌く
事実11: あの癲癇は晴々しい
事実12: あの癲癇は行政不服審査法である
事実13: あの癲癇はアルタイルだ
事実14: あの癲癇は仕上げ用ジャムであるならそれは研究開発する
事実15: もし仮にこの孝霊紀が捌くとするとその誤動作は威張れないかもしくは引き起こし兼ねらない
事実16: この爪は威張れる
事実17: もし仮に「この鳥肉は涙ぐましい」ということは正しいとすれば威張れる
事実18: あの癲癇は最終期限だ
事実19: 仮にあの癲癇が捌けばそれは威張れる
事実20: あの民族自決権は威張れる
事実21: 「あの癲癇は複数登録する」ということは本当である
事実22: その安土城がアプローチするとすればそれは度し難い
事実23: 「仮にあの癲癇は捌くとすると「あの癲癇は書き綴る」ということは真実である」ということは確かである

仮説: あの癲癇は威張れる
1. 事実19と事実10から、仮説が導かれる

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