「そのぷよぷねLv.7は愛情深くて透き通る」ということは間違っている
fact1: もしも「とあるモンスターは戦えないしまた麗しくない」ということは成り立たないとすればそれはトレースする fact2: そのぷよぷねLv.7は透き通る fact3: もしそのぷにぷわLv.70がトレースするとすれば試食する fact4: もし仮にそのぷにぷわLv.70が試食すればそのぷよぷねLv.7は愛情深い
fact1 -> int1: 「そのぷにぷわLv.70は戦えないしかつそれは麗しくない」ということは成り立つということはないならば「それはトレースする」ということは本当である;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa};
$facts$ = fact1: もしも「とあるモンスターは戦えないしまた麗しくない」ということは成り立たないとすればそれはトレースする fact2: そのぷよぷねLv.7は透き通る fact3: もしそのぷにぷわLv.70がトレースするとすれば試食する fact4: もし仮にそのぷにぷわLv.70が試食すればそのぷよぷねLv.7は愛情深い ; $hypothesis$ = 「そのぷよぷねLv.7は愛情深くて透き通る」ということは間違っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__