このぽにょぽにょLv.76は歩み続ける
fact1: 「このぽにょぽにょLv.76はまったりするけれど危なっかしくない」ということは誤っている fact2: 「とあるモンスターはまったりするがしかし危なっかしくない」ということは成り立たないならば歩み続ける
fact2 -> int1: もしも「このぽにょぽにょLv.76はまったりするけれど危なっかしくない」ということは嘘であるとすれば「歩み続ける」ということは本当だ; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 「このぽにょぽにょLv.76はまったりするけれど危なっかしくない」ということは誤っている fact2: 「とあるモンスターはまったりするがしかし危なっかしくない」ということは成り立たないならば歩み続ける ; $hypothesis$ = このぽにょぽにょLv.76は歩み続ける ; $proof$ = 
fact2 -> int1: もしも「このぽにょぽにょLv.76はまったりするけれど危なっかしくない」ということは嘘であるとすれば「歩み続ける」ということは本当だ; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> hypothesis; __PROVED__