そのまいまよLv.25は受信しない
fact1: 仮にあのぴちゃぴにLv.49は緩和出来るなら「「あのぴちゃぴにLv.49は継続し難いけれど楽しみしない」ということは正しい」ということは嘘だ fact2: そのまいまよLv.25が埃っぽいししかも楽しとしたらそのまいまよLv.25は受信しない fact3: もしもそのまのまにゃLv.96が儚いならばそのまいまよLv.25は埃っぽい fact4: 仮に「あのぴちゃぴにLv.49は継続し難いけれどそれは楽しみしない」ということは誤りならそのまのまにゃLv.96は儚い fact5: そのまいまよLv.25は楽し fact6: あのぴちゃぴにLv.49は緩和出来る fact7: あのぴちゃぴにLv.49は受信する
fact1 & fact6 -> int1: 「あのぴちゃぴにLv.49は継続し難いがしかしそれは楽しみしない」ということは間違っている; int1 & fact4 -> int2: そのまのまにゃLv.96は儚い; int2 & fact3 -> int3: 「そのまいまよLv.25は埃っぽい」ということは事実である; int3 & fact5 -> int4: そのまいまよLv.25は埃っぽいしそれは楽し; int4 & fact2 -> hypothesis;
fact1 & fact6 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{c}; int3 & fact5 -> int4: ({C}{c} & {D}{c}); int4 & fact2 -> hypothesis;
$facts$ = fact1: 仮にあのぴちゃぴにLv.49は緩和出来るなら「「あのぴちゃぴにLv.49は継続し難いけれど楽しみしない」ということは正しい」ということは嘘だ fact2: そのまいまよLv.25が埃っぽいししかも楽しとしたらそのまいまよLv.25は受信しない fact3: もしもそのまのまにゃLv.96が儚いならばそのまいまよLv.25は埃っぽい fact4: 仮に「あのぴちゃぴにLv.49は継続し難いけれどそれは楽しみしない」ということは誤りならそのまのまにゃLv.96は儚い fact5: そのまいまよLv.25は楽し fact6: あのぴちゃぴにLv.49は緩和出来る fact7: あのぴちゃぴにLv.49は受信する ; $hypothesis$ = そのまいまよLv.25は受信しない ; $proof$ = 
fact1 & fact6 -> int1: 「あのぴちゃぴにLv.49は継続し難いがしかしそれは楽しみしない」ということは間違っている; int1 & fact4 -> int2: そのまのまにゃLv.96は儚い; int2 & fact3 -> int3: 「そのまいまよLv.25は埃っぽい」ということは事実である; int3 & fact5 -> int4: そのまいまよLv.25は埃っぽいしそれは楽し; int4 & fact2 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{c}; int3 & fact5 -> int4: ({C}{c} & {D}{c}); int4 & fact2 -> hypothesis; __PROVED__