あのぴちょぴいLv.22は塗り易くてそれにそれは登山家らしい
fact1: 思慮深いということはないモンスターは塗り易い fact2: 塗り易くないモンスターは当て付けがましいしそれに登山家らしい fact3: もしこのぴいぴわLv.46が青黒いかもしくは嘘っぽいとすればこのぴいぴわLv.46は塗り易くない fact4: 「「とあるモンスターは思慮深いが確からしくない」ということは確かである」ということは真実でないならば塗り易い fact5: もしもあのぽえぽにゃLv.18は青黒くないとしたら「あのぴちょぴいLv.22は塗り易くて登山家らしい」ということは誤っている fact6: あのぴちょぴいLv.22は登山家らしい fact7: 「「あのぴちょぴいLv.22は思慮深いけれど確からしくない」ということは確かである」ということは成り立つということはない
fact4 -> int1: 「あのぴちょぴいLv.22は思慮深いがしかし確からしくない」ということは誤っているならあのぴちょぴいLv.22は塗り易い; int1 & fact7 -> int2: あのぴちょぴいLv.22は塗り易い; int2 & fact6 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact7 -> int2: {B}{aa}; int2 & fact6 -> hypothesis;
このぴいぴわLv.46は当て付けがましいし嫉妬深い
fact8 -> int3: このぴいぴわLv.46が塗り易いということはないとしたらそれは当て付けがましいし登山家らしい;
$facts$ = fact1: 思慮深いということはないモンスターは塗り易い fact2: 塗り易くないモンスターは当て付けがましいしそれに登山家らしい fact3: もしこのぴいぴわLv.46が青黒いかもしくは嘘っぽいとすればこのぴいぴわLv.46は塗り易くない fact4: 「「とあるモンスターは思慮深いが確からしくない」ということは確かである」ということは真実でないならば塗り易い fact5: もしもあのぽえぽにゃLv.18は青黒くないとしたら「あのぴちょぴいLv.22は塗り易くて登山家らしい」ということは誤っている fact6: あのぴちょぴいLv.22は登山家らしい fact7: 「「あのぴちょぴいLv.22は思慮深いけれど確からしくない」ということは確かである」ということは成り立つということはない ; $hypothesis$ = あのぴちょぴいLv.22は塗り易くてそれにそれは登山家らしい ; $proof$ = 
fact4 -> int1: 「あのぴちょぴいLv.22は思慮深いがしかし確からしくない」ということは誤っているならあのぴちょぴいLv.22は塗り易い; int1 & fact7 -> int2: あのぴちょぴいLv.22は塗り易い; int2 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact7 -> int2: {B}{aa}; int2 & fact6 -> hypothesis; __PROVED__