あの査察官は掛かり易い
fact1: そのＩＦＮ治療歴は掛かり易い fact2: あの査察官は唐王朝だ fact3: あの査察官は折れ易い fact4: あの査察官は掛かり易い fact5: あの禿鷹・天狗は掛かり易い fact6: この除塵は求め過ぎる fact7: あの査察官は安堵し難い fact8: あの馬っこは掛かり易い fact9: この優遇措置は掛かり易い fact10: その垂直離陸は変数Ｉであるしかつそれは立ち得る fact11: もしも「あの査察官は掛かり易くないし加えてそれは変数Ｉでない」ということは事実と異なるならあの皇軍は掛かり易い fact12: その垂直離陸が変数Ｉだしおまけにそれが掛かり易いとすればあの査察官は掛かり易くない fact13: あの査察官はプロテスタント運動である fact14: 「あの背教者は掛かり易い」ということは間違っていない fact15: あの査察官は求め過ぎる fact16: あの査察官は同時点だ fact17: もしもなにがしかの物が眠たいとすると掛かり易い fact18: その公論は掛かり易い fact19: あの継続犯は掛かり易い
fact4 -> hypothesis;
fact4 -> hypothesis;
あの皇軍は掛かり易い
$facts$ = fact1: そのＩＦＮ治療歴は掛かり易い fact2: あの査察官は唐王朝だ fact3: あの査察官は折れ易い fact4: あの査察官は掛かり易い fact5: あの禿鷹・天狗は掛かり易い fact6: この除塵は求め過ぎる fact7: あの査察官は安堵し難い fact8: あの馬っこは掛かり易い fact9: この優遇措置は掛かり易い fact10: その垂直離陸は変数Ｉであるしかつそれは立ち得る fact11: もしも「あの査察官は掛かり易くないし加えてそれは変数Ｉでない」ということは事実と異なるならあの皇軍は掛かり易い fact12: その垂直離陸が変数Ｉだしおまけにそれが掛かり易いとすればあの査察官は掛かり易くない fact13: あの査察官はプロテスタント運動である fact14: 「あの背教者は掛かり易い」ということは間違っていない fact15: あの査察官は求め過ぎる fact16: あの査察官は同時点だ fact17: もしもなにがしかの物が眠たいとすると掛かり易い fact18: その公論は掛かり易い fact19: あの継続犯は掛かり易い ; $hypothesis$ = あの査察官は掛かり易い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: そのＩＦＮ治療歴は掛かり易い
事実2: あの査察官は唐王朝だ
事実3: あの査察官は折れ易い
事実4: あの査察官は掛かり易い
事実5: あの禿鷹・天狗は掛かり易い
事実6: この除塵は求め過ぎる
事実7: あの査察官は安堵し難い
事実8: あの馬っこは掛かり易い
事実9: この優遇措置は掛かり易い
事実10: その垂直離陸は変数Ｉであるしかつそれは立ち得る
事実11: もしも「あの査察官は掛かり易くないし加えてそれは変数Ｉでない」ということは事実と異なるならあの皇軍は掛かり易い
事実12: その垂直離陸が変数Ｉだしおまけにそれが掛かり易いとすればあの査察官は掛かり易くない
事実13: あの査察官はプロテスタント運動である
事実14: 「あの背教者は掛かり易い」ということは間違っていない
事実15: あの査察官は求め過ぎる
事実16: あの査察官は同時点だ
事実17: もしもなにがしかの物が眠たいとすると掛かり易い
事実18: その公論は掛かり易い
事実19: あの継続犯は掛かり易い

仮説: あの査察官は掛かり易い
1. 事実4から、仮説が導かれる

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