この借用は低し
fact1: 「ＰＷＣは低し」ということは嘘でない fact2: その権利侵害行為は共鳴し易いしその上付けする fact3: その権利侵害行為は共鳴し易い fact4: その二機種は付けする fact5: もしもその権利侵害行為が付けするならこの借用はＰＷＣである
fact2 -> int1: その権利侵害行為は付けする; int1 & fact5 -> int2: この借用はＰＷＣだ; fact1 -> int3: この借用がＰＷＣだとすると低し; int2 & int3 -> hypothesis;
$facts$ = fact1: 「ＰＷＣは低し」ということは嘘でない fact2: その権利侵害行為は共鳴し易いしその上付けする fact3: その権利侵害行為は共鳴し易い fact4: その二機種は付けする fact5: もしもその権利侵害行為が付けするならこの借用はＰＷＣである ; $hypothesis$ = この借用は低し ; $proof$ = 
fact2 -> int1: その権利侵害行為は付けする; int1 & fact5 -> int2: この借用はＰＷＣだ; fact1 -> int3: この借用がＰＷＣだとすると低し; int2 & int3 -> hypothesis; __PROVED__
事実1: 「ＰＷＣは低し」ということは嘘でない
事実2: その権利侵害行為は共鳴し易いしその上付けする
事実3: その権利侵害行為は共鳴し易い
事実4: その二機種は付けする
事実5: もしもその権利侵害行為が付けするならこの借用はＰＷＣである

仮説: この借用は低し
1. 事実2から、推論1: "その権利侵害行為は付けする"が導かれる
2. 推論1と事実5から、推論2: "この借用はＰＷＣだ"が導かれる
3. 事実1から、推論3: "この借用がＰＷＣだとすると低し"が導かれる
4. 推論2と推論3から、仮説が導かれる

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