その校長排斥運動は睨み付ける
fact1: 仮にその校長排斥運動が大作でないとすればあのアウトフローは睨み付けるがしかし密封しない fact2: そのプライマーは睨み付ける fact3: その校長排斥運動は睨み付ける fact4: もし仮に「とある物は大作である一方でそれはＩＨ使用可でない」ということは間違いなら大作でない
fact3 -> hypothesis;
fact3 -> hypothesis;
このアウトフローは睨み付ける
fact5 -> int1: 仮に「その校長排斥運動は大作だ一方でＩＨ使用可でない」ということは事実と異なるとすれば「大作でない」ということは真実だ;
$facts$ = fact1: 仮にその校長排斥運動が大作でないとすればあのアウトフローは睨み付けるがしかし密封しない fact2: そのプライマーは睨み付ける fact3: その校長排斥運動は睨み付ける fact4: もし仮に「とある物は大作である一方でそれはＩＨ使用可でない」ということは間違いなら大作でない ; $hypothesis$ = その校長排斥運動は睨み付ける ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にその校長排斥運動が大作でないとすればあのアウトフローは睨み付けるがしかし密封しない
事実2: そのプライマーは睨み付ける
事実3: その校長排斥運動は睨み付ける
事実4: もし仮に「とある物は大作である一方でそれはＩＨ使用可でない」ということは間違いなら大作でない

仮説: その校長排斥運動は睨み付ける
1. 事実3から、仮説が導かれる

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