「この死力は引き易くなくて学園でない」ということは成り立つということはない
fact1: この死力は情けなくない fact2: 仮にこの五大国が情けなくないならばあの死力は引き易くなくて学園でない fact3: 仮に「この死力は情けなくない」ということは事実であるなら「それは引き易くなくてしかも学園でない」ということは成り立たない fact4: 汚れ難いということはない物はプレビューするかまたは渡来するかもしくは両方である fact5: もしこのラポールがプロ棋士でないけどそれが長たらしいとするとそれは汚れ難くない fact6: 「この死力は情けないけれど借り入れ金利息でない」ということは成り立たない fact7: 「この死力は引き易くないがしかしそれは学園である」ということは成り立たない fact8: もしなにがしかのものは情けないとすると「それは持参致さなくて黄芥子だということはない」ということは間違いである fact9: この娑婆世界がプレビューしないがしかしそれが情けないとするとこの五大国は情けなくない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この死力は引き易くないし学園でない
$facts$ = fact1: この死力は情けなくない fact2: 仮にこの五大国が情けなくないならばあの死力は引き易くなくて学園でない fact3: 仮に「この死力は情けなくない」ということは事実であるなら「それは引き易くなくてしかも学園でない」ということは成り立たない fact4: 汚れ難いということはない物はプレビューするかまたは渡来するかもしくは両方である fact5: もしこのラポールがプロ棋士でないけどそれが長たらしいとするとそれは汚れ難くない fact6: 「この死力は情けないけれど借り入れ金利息でない」ということは成り立たない fact7: 「この死力は引き易くないがしかしそれは学園である」ということは成り立たない fact8: もしなにがしかのものは情けないとすると「それは持参致さなくて黄芥子だということはない」ということは間違いである fact9: この娑婆世界がプレビューしないがしかしそれが情けないとするとこの五大国は情けなくない ; $hypothesis$ = 「この死力は引き易くなくて学園でない」ということは成り立つということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: この死力は情けなくない
事実2: 仮にこの五大国が情けなくないならばあの死力は引き易くなくて学園でない
事実3: 仮に「この死力は情けなくない」ということは事実であるなら「それは引き易くなくてしかも学園でない」ということは成り立たない
事実4: 汚れ難いということはない物はプレビューするかまたは渡来するかもしくは両方である
事実5: もしこのラポールがプロ棋士でないけどそれが長たらしいとするとそれは汚れ難くない
事実6: 「この死力は情けないけれど借り入れ金利息でない」ということは成り立たない
事実7: 「この死力は引き易くないがしかしそれは学園である」ということは成り立たない
事実8: もしなにがしかのものは情けないとすると「それは持参致さなくて黄芥子だということはない」ということは間違いである
事実9: この娑婆世界がプレビューしないがしかしそれが情けないとするとこの五大国は情けなくない

仮説: 「この死力は引き易くなくて学園でない」ということは成り立つということはない
1. 事実3と事実1から、仮説が導かれる

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