「このぽにぽちゅLv.73は真白いということはないがしかし凄い」ということは誤っている
fact1: このぽにぽちゅLv.73は思い出深くない fact2: 仮に何らかのモンスターは思い出深くないならば「真白くないけれど凄い」ということは誤っている fact3: 仮に「あのもちゅもなLv.69は思い出深くない一方で焦れったい」ということは成り立たないとしたらあのぴくぴのLv.45は真白いということはない fact4: もし仮にあのみにみちゃLv.33は無くないならば「あのみにみちゃLv.33は読み易いということはないがしかし思い出深い」ということは成り立たない fact5: 思い出深いモンスターは真白くないけれど凄い
fact2 -> int1: もしもこのぽにぽちゅLv.73は思い出深いということはないとすると「このぽにぽちゅLv.73は真白くないがそれは凄い」ということは成り立たない; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis;
このぽにぽちゅLv.73は真白いということはないけど凄い
fact6 -> int2: もし仮にこのぽにぽちゅLv.73が思い出深いならばこのぽにぽちゅLv.73は真白いということはないけど凄い;
$facts$ = fact1: このぽにぽちゅLv.73は思い出深くない fact2: 仮に何らかのモンスターは思い出深くないならば「真白くないけれど凄い」ということは誤っている fact3: 仮に「あのもちゅもなLv.69は思い出深くない一方で焦れったい」ということは成り立たないとしたらあのぴくぴのLv.45は真白いということはない fact4: もし仮にあのみにみちゃLv.33は無くないならば「あのみにみちゃLv.33は読み易いということはないがしかし思い出深い」ということは成り立たない fact5: 思い出深いモンスターは真白くないけれど凄い ; $hypothesis$ = 「このぽにぽちゅLv.73は真白いということはないがしかし凄い」ということは誤っている ; $proof$ = 
fact2 -> int1: もしもこのぽにぽちゅLv.73は思い出深いということはないとすると「このぽにぽちゅLv.73は真白くないがそれは凄い」ということは成り立たない; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis; __PROVED__