このぴなぴやLv.3は清い
fact1: もしもなんらかのモンスターは慈愛深くないとすれば「叫ばないけれど編み入れる」ということは成り立つということはない fact2: もし仮に「このぴなぴやLv.3は編み入れないがしかし初々しい」ということは誤りならこのぴなぴやLv.3は清い fact3: このぴなぴやLv.3は慈愛深い fact4: とあるモンスターは慈愛深いとすれば「それは編み入れないしさらに初々しい」ということは真実でない
fact4 -> int1: もしもこのぴなぴやLv.3は慈愛深いとしたら「「それは編み入れない一方で初々しい」ということは本当だ」ということは成り立たない; int1 & fact3 -> int2: 「このぴなぴやLv.3は編み入れるということはないがしかしそれは初々しい」ということは間違いだ; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact2 -> hypothesis;
「あのみにゃみにLv.77は叫ばないけれどそれは編み入れる」ということは間違いである
fact5 -> int3: もしもあのみにゃみにLv.77は慈愛深くないなら「あのみにゃみにLv.77は叫ばないけれど編み入れる」ということは誤りである;
$facts$ = fact1: もしもなんらかのモンスターは慈愛深くないとすれば「叫ばないけれど編み入れる」ということは成り立つということはない fact2: もし仮に「このぴなぴやLv.3は編み入れないがしかし初々しい」ということは誤りならこのぴなぴやLv.3は清い fact3: このぴなぴやLv.3は慈愛深い fact4: とあるモンスターは慈愛深いとすれば「それは編み入れないしさらに初々しい」ということは真実でない ; $hypothesis$ = このぴなぴやLv.3は清い ; $proof$ = 
fact4 -> int1: もしもこのぴなぴやLv.3は慈愛深いとしたら「「それは編み入れない一方で初々しい」ということは本当だ」ということは成り立たない; int1 & fact3 -> int2: 「このぴなぴやLv.3は編み入れるということはないがしかしそれは初々しい」ということは間違いだ; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact2 -> hypothesis; __PROVED__