そのチャンピオンズリーグは課員でないしさらに秘密交通権でない
fact1: この一般会計は粘り強いということはないとしたら「この出来合いは秘密交通権だ」ということは確かだ fact2: 何かは右手前でないなら「それは課員でないし秘密交通権でない」ということは成り立たない fact3: 仮にその電工が右手前でないけど痛ーいとすればそのチャンピオンズリーグは右手前でない fact4: そのチャンピオンズリーグは秘密交通権でないし管理し易くない fact5: 水需要は右手前でないが痛ーい fact6: その電工は右手前でない fact7: もしこの一般会計が愚かしくないとすればこの出来合いは秘密交通権だ fact8: この出来合いは愚かしいということはないし加えて水需要であるということはない fact9: もしも何らかの物が交換出来ないならば神々しくてまた水需要だ fact10: もしもその電工が右手前であるということはないとするとこの一般会計は粘り強くないかもしくはそれは愚かしくない fact11: この出来合いが秘密交通権ならばそのチャンピオンズリーグは課員でないしそれは秘密交通権でない
fact10 & fact6 -> int1: この一般会計は粘り強くないかまたはそれは愚かしくないかまたは両方ともだ; int1 & fact1 & fact7 -> int2: この出来合いは秘密交通権である; int2 & fact11 -> hypothesis;
fact10 & fact6 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact1 & fact7 -> int2: {B}{c}; int2 & fact11 -> hypothesis;
「そのチャンピオンズリーグは課員だということはないし秘密交通権でない」ということは誤っている
fact12 -> int3: 仮にそのチャンピオンズリーグは右手前でないならば「課員でないし秘密交通権でない」ということは間違っている; fact15 -> int4: もしもその電工が水需要であるならばそれは右手前でないしそれは痛ーい; fact13 -> int5: 仮にその電工が交換出来るということはないとすればそれは神々しいし水需要である;
$facts$ = fact1: この一般会計は粘り強いということはないとしたら「この出来合いは秘密交通権だ」ということは確かだ fact2: 何かは右手前でないなら「それは課員でないし秘密交通権でない」ということは成り立たない fact3: 仮にその電工が右手前でないけど痛ーいとすればそのチャンピオンズリーグは右手前でない fact4: そのチャンピオンズリーグは秘密交通権でないし管理し易くない fact5: 水需要は右手前でないが痛ーい fact6: その電工は右手前でない fact7: もしこの一般会計が愚かしくないとすればこの出来合いは秘密交通権だ fact8: この出来合いは愚かしいということはないし加えて水需要であるということはない fact9: もしも何らかの物が交換出来ないならば神々しくてまた水需要だ fact10: もしもその電工が右手前であるということはないとするとこの一般会計は粘り強くないかもしくはそれは愚かしくない fact11: この出来合いが秘密交通権ならばそのチャンピオンズリーグは課員でないしそれは秘密交通権でない ; $hypothesis$ = そのチャンピオンズリーグは課員でないしさらに秘密交通権でない ; $proof$ = 
fact10 & fact6 -> int1: この一般会計は粘り強くないかまたはそれは愚かしくないかまたは両方ともだ; int1 & fact1 & fact7 -> int2: この出来合いは秘密交通権である; int2 & fact11 -> hypothesis; __PROVED__
事実1: この一般会計は粘り強いということはないとしたら「この出来合いは秘密交通権だ」ということは確かだ
事実2: 何かは右手前でないなら「それは課員でないし秘密交通権でない」ということは成り立たない
事実3: 仮にその電工が右手前でないけど痛ーいとすればそのチャンピオンズリーグは右手前でない
事実4: そのチャンピオンズリーグは秘密交通権でないし管理し易くない
事実5: 水需要は右手前でないが痛ーい
事実6: その電工は右手前でない
事実7: もしこの一般会計が愚かしくないとすればこの出来合いは秘密交通権だ
事実8: この出来合いは愚かしいということはないし加えて水需要であるということはない
事実9: もしも何らかの物が交換出来ないならば神々しくてまた水需要だ
事実10: もしもその電工が右手前であるということはないとするとこの一般会計は粘り強くないかもしくはそれは愚かしくない
事実11: この出来合いが秘密交通権ならばそのチャンピオンズリーグは課員でないしそれは秘密交通権でない

仮説: そのチャンピオンズリーグは課員でないしさらに秘密交通権でない
1. 事実10と事実6から、推論1: "この一般会計は粘り強くないかまたはそれは愚かしくないかまたは両方ともだ"が導かれる
2. 推論1と事実1と事実7から、推論2: "この出来合いは秘密交通権である"が導かれる
3. 推論2と事実11から、仮説が導かれる

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