あの方法論は九秒台であるか情け深い
fact1: 繁殖し易いものは叙述しないかもしくは嬉しがらないかもしくは両方ともである fact2: もしも繁殖し易い物が情け深いということはないならあの方法論は九秒台でない fact3: なんらかの物は情け深いけれど九秒台でない fact4: 仮にこのプロテストが繁殖し易くないとしたらあの方法論は九秒台であるかまたは情け深い fact5: もしも「何らかの物は叙述する一方でそれは嬉しがらない」ということは正しいとすればあのプロテストは繁殖し易いということはない fact6: 「叙述するし嬉しがらない」ものはある fact7: もしも情け深いものが九秒台でないとするとあの方法論は繁殖し易いということはない
fact6 & fact5 -> int1: このプロテストは繁殖し易くない; int1 & fact4 -> hypothesis;
fact6 & fact5 -> int1: ¬{C}{a}; int1 & fact4 -> hypothesis;
「あの方法論は九秒台であるかそれは情け深い」ということは成り立たない
fact8 -> int2: このプロテストが繁殖し易いとするとそれは叙述するということはないかあるいは嬉しがらないかあるいは両方ともである;
$facts$ = fact1: 繁殖し易いものは叙述しないかもしくは嬉しがらないかもしくは両方ともである fact2: もしも繁殖し易い物が情け深いということはないならあの方法論は九秒台でない fact3: なんらかの物は情け深いけれど九秒台でない fact4: 仮にこのプロテストが繁殖し易くないとしたらあの方法論は九秒台であるかまたは情け深い fact5: もしも「何らかの物は叙述する一方でそれは嬉しがらない」ということは正しいとすればあのプロテストは繁殖し易いということはない fact6: 「叙述するし嬉しがらない」ものはある fact7: もしも情け深いものが九秒台でないとするとあの方法論は繁殖し易いということはない ; $hypothesis$ = あの方法論は九秒台であるか情け深い ; $proof$ = 
fact6 & fact5 -> int1: このプロテストは繁殖し易くない; int1 & fact4 -> hypothesis; __PROVED__
事実1: 繁殖し易いものは叙述しないかもしくは嬉しがらないかもしくは両方ともである
事実2: もしも繁殖し易い物が情け深いということはないならあの方法論は九秒台でない
事実3: なんらかの物は情け深いけれど九秒台でない
事実4: 仮にこのプロテストが繁殖し易くないとしたらあの方法論は九秒台であるかまたは情け深い
事実5: もしも「何らかの物は叙述する一方でそれは嬉しがらない」ということは正しいとすればあのプロテストは繁殖し易いということはない
事実6: 「叙述するし嬉しがらない」ものはある
事実7: もしも情け深いものが九秒台でないとするとあの方法論は繁殖し易いということはない

仮説: あの方法論は九秒台であるか情け深い
1. 事実6と事実5から、推論1: "このプロテストは繁殖し易くない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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