「あのぴよぴなLv.21はトップするけど苦々しくない」ということは事実と異なる
fact1: 仮になにがしかのモンスターは姉らしくないとしたら「トップするが苦々しいということはない」ということは正しいということはない fact2: あのぴよぴなLv.21は姉らしくない
fact1 -> int1: 仮にあのぴよぴなLv.21は姉らしくないとすると「あのぴよぴなLv.21はトップする一方でそれは苦々しくない」ということは事実と異なる; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮になにがしかのモンスターは姉らしくないとしたら「トップするが苦々しいということはない」ということは正しいということはない fact2: あのぴよぴなLv.21は姉らしくない ; $hypothesis$ = 「あのぴよぴなLv.21はトップするけど苦々しくない」ということは事実と異なる ; $proof$ = 
fact1 -> int1: 仮にあのぴよぴなLv.21は姉らしくないとすると「あのぴよぴなLv.21はトップする一方でそれは苦々しくない」ということは事実と異なる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis; __PROVED__