そのぽにゅぽわLv.74は素っ気ないかあるいはそれは取り易いかどちらもだ
fact1: あのまねまねLv.51が素っ気なくないならそのぽにゅぽわLv.74は素っ気ないかもしくは取り易いかどちらもだ fact2: あのぷよぷにゅLv.82は御探ししなくてまたそれは悪しない fact3: 素っ気なくないモンスターでありおまけに取り易いということはないモンスターは薄くない fact4: 素っ気なくないモンスターは黴臭いししかも尊い fact5: 薄くないモンスターがめでたいということはないならばそれは素っ気なくない fact6: あのまねまねLv.51は薄くないしめでたくない fact7: 慈愛深いモンスターは尊い
fact5 -> int1: もしあのまねまねLv.51は薄くないしめでたくないとすると素っ気なくない; int1 & fact6 -> int2: あのまねまねLv.51は素っ気なくない; int2 & fact1 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact6 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis;
そのぷいぷくLv.80は黴臭いかもしくはそれはめでたい
fact8 -> int3: もし仮にそのぷいぷくLv.80が素っ気なくないとすればそのぷいぷくLv.80は黴臭いししかも尊い;
$facts$ = fact1: あのまねまねLv.51が素っ気なくないならそのぽにゅぽわLv.74は素っ気ないかもしくは取り易いかどちらもだ fact2: あのぷよぷにゅLv.82は御探ししなくてまたそれは悪しない fact3: 素っ気なくないモンスターでありおまけに取り易いということはないモンスターは薄くない fact4: 素っ気なくないモンスターは黴臭いししかも尊い fact5: 薄くないモンスターがめでたいということはないならばそれは素っ気なくない fact6: あのまねまねLv.51は薄くないしめでたくない fact7: 慈愛深いモンスターは尊い ; $hypothesis$ = そのぽにゅぽわLv.74は素っ気ないかあるいはそれは取り易いかどちらもだ ; $proof$ = 
fact5 -> int1: もしあのまねまねLv.51は薄くないしめでたくないとすると素っ気なくない; int1 & fact6 -> int2: あのまねまねLv.51は素っ気なくない; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact6 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis; __PROVED__