このみにゅみよLv.11は納品する
fact1: もしもあるモンスターは広しとすると「それは引き開けなくてぼろい」ということは間違いである fact2: そのぷくぷにゃLv.16は広し fact3: もし仮に「そのぷくぷにゃLv.16は引き開けないしその上それはぼろくない」ということは間違っていればこのみにゅみよLv.11は納品する fact4: もしも何らかのモンスターは広しならば「引き開けるということはないしぼろくない」ということは成り立たない
fact4 -> int1: もし仮に「そのぷくぷにゃLv.16は広し」ということは事実なら「「そのぷくぷにゃLv.16は引き開けなくてぼろくない」ということは正しい」ということは誤りだ; int1 & fact2 -> int2: 「そのぷくぷにゃLv.16は引き開けるということはなくてまたぼろいということはない」ということは成り立たない; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もしもあるモンスターは広しとすると「それは引き開けなくてぼろい」ということは間違いである fact2: そのぷくぷにゃLv.16は広し fact3: もし仮に「そのぷくぷにゃLv.16は引き開けないしその上それはぼろくない」ということは間違っていればこのみにゅみよLv.11は納品する fact4: もしも何らかのモンスターは広しならば「引き開けるということはないしぼろくない」ということは成り立たない ; $hypothesis$ = このみにゅみよLv.11は納品する ; $proof$ = 
fact4 -> int1: もし仮に「そのぷくぷにゃLv.16は広し」ということは事実なら「「そのぷくぷにゃLv.16は引き開けなくてぼろくない」ということは正しい」ということは誤りだ; int1 & fact2 -> int2: 「そのぷくぷにゃLv.16は引き開けるということはなくてまたぼろいということはない」ということは成り立たない; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis; __PROVED__