あの救世は刑事処罰でない
fact1: もしこの組織変革が淵源すればこの損害賠償債権は差し掛かるかもしくは御用意しない fact2: 仮にこの損害賠償債権が差し掛かるかまたは淵源しないかもしくは両方ともだとするとこの組織変革は刑事処罰である fact3: この組織変革は淵源する fact4: 仮に「あの救世は触れ合うか淵源するということはないかあるいは両方だ」ということは誤っているとすると刑事処罰でない fact5: もし仮にとある物は学校内部であるとしたら「それは触れ合うか淵源しないかまたは両方である」ということは成り立たない fact6: あの救世は淵源する fact7: もしこの損害賠償債権が差し掛かるかもしくは御用意するということはないかもしくは両方ともならあの救世は刑事処罰だ fact8: もしこの損害賠償債権が御用意しないとすればあの救世は刑事処罰である fact9: あの救世は御用意する fact10: もしもこの組織変革が淵源するならこの損害賠償債権は差し掛かるか御用意するかもしくはどちらもである fact11: この損害賠償債権は差し掛かるかそれは御用意する
fact1 & fact3 -> int1: この損害賠償債権は差し掛かるかもしくは御用意しない; int1 & fact7 -> hypothesis;
fact1 & fact3 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact7 -> hypothesis;
あの救世は刑事処罰でない
fact13 -> int2: 「あの救世は学校内部だ」ということは真実ならば「触れ合うかまたは淵源しないかあるいは両方だ」ということは成り立たない;
$facts$ = fact1: もしこの組織変革が淵源すればこの損害賠償債権は差し掛かるかもしくは御用意しない fact2: 仮にこの損害賠償債権が差し掛かるかまたは淵源しないかもしくは両方ともだとするとこの組織変革は刑事処罰である fact3: この組織変革は淵源する fact4: 仮に「あの救世は触れ合うか淵源するということはないかあるいは両方だ」ということは誤っているとすると刑事処罰でない fact5: もし仮にとある物は学校内部であるとしたら「それは触れ合うか淵源しないかまたは両方である」ということは成り立たない fact6: あの救世は淵源する fact7: もしこの損害賠償債権が差し掛かるかもしくは御用意するということはないかもしくは両方ともならあの救世は刑事処罰だ fact8: もしこの損害賠償債権が御用意しないとすればあの救世は刑事処罰である fact9: あの救世は御用意する fact10: もしもこの組織変革が淵源するならこの損害賠償債権は差し掛かるか御用意するかもしくはどちらもである fact11: この損害賠償債権は差し掛かるかそれは御用意する ; $hypothesis$ = あの救世は刑事処罰でない ; $proof$ = 
fact1 & fact3 -> int1: この損害賠償債権は差し掛かるかもしくは御用意しない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしこの組織変革が淵源すればこの損害賠償債権は差し掛かるかもしくは御用意しない
事実2: 仮にこの損害賠償債権が差し掛かるかまたは淵源しないかもしくは両方ともだとするとこの組織変革は刑事処罰である
事実3: この組織変革は淵源する
事実4: 仮に「あの救世は触れ合うか淵源するということはないかあるいは両方だ」ということは誤っているとすると刑事処罰でない
事実5: もし仮にとある物は学校内部であるとしたら「それは触れ合うか淵源しないかまたは両方である」ということは成り立たない
事実6: あの救世は淵源する
事実7: もしこの損害賠償債権が差し掛かるかもしくは御用意するということはないかもしくは両方ともならあの救世は刑事処罰だ
事実8: もしこの損害賠償債権が御用意しないとすればあの救世は刑事処罰である
事実9: あの救世は御用意する
事実10: もしもこの組織変革が淵源するならこの損害賠償債権は差し掛かるか御用意するかもしくはどちらもである
事実11: この損害賠償債権は差し掛かるかそれは御用意する

仮説: あの救世は刑事処罰でない
1. 事実1と事実3から、推論1: "この損害賠償債権は差し掛かるかもしくは御用意しない"が導かれる
2. 推論1と事実7から、仮説が否定される

よって、仮説が否定されました。