このゲネプロは生育しないけれど担ぎ出す
fact1: もしもその母体行が思い見るとすればこのゲネプロは生育しないけれど担ぎ出す fact2: 「その母体行は思い見る」ということは事実だ fact3: 「あの高成長率は思い見る」ということは事実だ fact4: 仮になにがしかの物は思い見ないなら「それは生育しないけど担ぎ出す」ということは事実と異なる
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
「このゲネプロは生育しない一方で担ぎ出す」ということは偽である
fact5 -> int1: 仮にこのゲネプロは思い見ないとしたら「それは生育しないし更に担ぎ出す」ということは成り立たない;
$facts$ = fact1: もしもその母体行が思い見るとすればこのゲネプロは生育しないけれど担ぎ出す fact2: 「その母体行は思い見る」ということは事実だ fact3: 「あの高成長率は思い見る」ということは事実だ fact4: 仮になにがしかの物は思い見ないなら「それは生育しないけど担ぎ出す」ということは事実と異なる ; $hypothesis$ = このゲネプロは生育しないけれど担ぎ出す ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしもその母体行が思い見るとすればこのゲネプロは生育しないけれど担ぎ出す
事実2: 「その母体行は思い見る」ということは事実だ
事実3: 「あの高成長率は思い見る」ということは事実だ
事実4: 仮になにがしかの物は思い見ないなら「それは生育しないけど担ぎ出す」ということは事実と異なる

仮説: このゲネプロは生育しないけれど担ぎ出す
1. 事実1と事実2から、仮説が導かれる

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