このもえものLv.83はべた付き易いということはない
fact1: もしもこのもえものLv.83が子供っぽくないとするとこのもえものLv.83は茶色っぽいということはない fact2: 「このぽちゅぽなLv.0は酔い易くない」ということは確かなら響き始めないしべた付き易くない fact3: もしなんらかのモンスターが子供っぽくないとすればそれは茶色っぽいということはない fact4: 何らかのモンスターが近しないとするとそれはべた付き易いしかつそれは子供っぽい fact5: このもえものLv.83は子供っぽくない fact6: 子供っぽくないモンスターはべた付き易くなくて茶色っぽくない fact7: 「このもえものLv.83は茶色っぽい」ということは偽である
fact6 -> int1: もし仮にこのもえものLv.83が子供っぽくないとするとこのもえものLv.83はべた付き易くないしさらに茶色っぽくない; int1 & fact5 -> int2: このもえものLv.83はべた付き易いということはないしその上茶色っぽくない; int2 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis;
このもえものLv.83はべた付き易い
fact8 -> int3: もしこのもえものLv.83が近しということはないならばこのもえものLv.83はべた付き易いし子供っぽい;
$facts$ = fact1: もしもこのもえものLv.83が子供っぽくないとするとこのもえものLv.83は茶色っぽいということはない fact2: 「このぽちゅぽなLv.0は酔い易くない」ということは確かなら響き始めないしべた付き易くない fact3: もしなんらかのモンスターが子供っぽくないとすればそれは茶色っぽいということはない fact4: 何らかのモンスターが近しないとするとそれはべた付き易いしかつそれは子供っぽい fact5: このもえものLv.83は子供っぽくない fact6: 子供っぽくないモンスターはべた付き易くなくて茶色っぽくない fact7: 「このもえものLv.83は茶色っぽい」ということは偽である ; $hypothesis$ = このもえものLv.83はべた付き易いということはない ; $proof$ = 
fact6 -> int1: もし仮にこのもえものLv.83が子供っぽくないとするとこのもえものLv.83はべた付き易くないしさらに茶色っぽくない; int1 & fact5 -> int2: このもえものLv.83はべた付き易いということはないしその上茶色っぽくない; int2 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis; __PROVED__