この製剤は生起する
fact1: この製剤は讒言しない fact2: あの急角度は少しする fact3: この製剤は訴訟物でないしまた狙われ易くない fact4: もしこの製剤が少ししなくて加えてそれがＡＡＡでないとすればその高出力は生起する fact5: もし仮にこの製剤がＡＡＡでなくてその上少ししないならその高出力は生起する fact6: もしもその高出力は生起しないならば「このリンパ漏は狙われ易くないけれどＡＡＡである」ということは成り立たない fact7: この製剤は狙われ易くない fact8: 「その高出力は狙われ易くない」ということは真実である fact9: その高出力が狙われ易くないしそれに少しするということはないとするとこの製剤は生起する fact10: その高出力はＡＡＡでない fact11: この製剤は少ししない fact12: もしもその高出力が少ししないとするとそれは狙われ易いということはなくてかつ生起しない fact13: その高出力がＡＡＡでないとすればそれは狙われ易くないし少ししない
fact13 & fact10 -> int1: その高出力は狙われ易くないし加えて少ししない; int1 & fact9 -> hypothesis;
このリンパ漏は狙われ易い
$facts$ = fact1: この製剤は讒言しない fact2: あの急角度は少しする fact3: この製剤は訴訟物でないしまた狙われ易くない fact4: もしこの製剤が少ししなくて加えてそれがＡＡＡでないとすればその高出力は生起する fact5: もし仮にこの製剤がＡＡＡでなくてその上少ししないならその高出力は生起する fact6: もしもその高出力は生起しないならば「このリンパ漏は狙われ易くないけれどＡＡＡである」ということは成り立たない fact7: この製剤は狙われ易くない fact8: 「その高出力は狙われ易くない」ということは真実である fact9: その高出力が狙われ易くないしそれに少しするということはないとするとこの製剤は生起する fact10: その高出力はＡＡＡでない fact11: この製剤は少ししない fact12: もしもその高出力が少ししないとするとそれは狙われ易いということはなくてかつ生起しない fact13: その高出力がＡＡＡでないとすればそれは狙われ易くないし少ししない ; $hypothesis$ = この製剤は生起する ; $proof$ = 
fact13 & fact10 -> int1: その高出力は狙われ易くないし加えて少ししない; int1 & fact9 -> hypothesis; __PROVED__
事実1: この製剤は讒言しない
事実2: あの急角度は少しする
事実3: この製剤は訴訟物でないしまた狙われ易くない
事実4: もしこの製剤が少ししなくて加えてそれがＡＡＡでないとすればその高出力は生起する
事実5: もし仮にこの製剤がＡＡＡでなくてその上少ししないならその高出力は生起する
事実6: もしもその高出力は生起しないならば「このリンパ漏は狙われ易くないけれどＡＡＡである」ということは成り立たない
事実7: この製剤は狙われ易くない
事実8: 「その高出力は狙われ易くない」ということは真実である
事実9: その高出力が狙われ易くないしそれに少しするということはないとするとこの製剤は生起する
事実10: その高出力はＡＡＡでない
事実11: この製剤は少ししない
事実12: もしもその高出力が少ししないとするとそれは狙われ易いということはなくてかつ生起しない
事実13: その高出力がＡＡＡでないとすればそれは狙われ易くないし少ししない

仮説: この製剤は生起する
1. 事実13と事実10から、推論1: "その高出力は狙われ易くないし加えて少ししない"が導かれる
2. 推論1と事実9から、仮説が導かれる

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