このみにょみちょLv.86は徒らっぽくない
fact1: 「もし「なにがしかのモンスターは泣き喚かないし更に回りくどくない」ということは成り立たないとすれば徒らっぽい」ということは事実だ fact2: 「もし仮に「あるモンスターは気持ち良くなくてしかも正しない」ということは真実でないとするとそれは分かち難い」ということは正しい fact3: もしこのぽにょぽにょLv.84が泣き喚くとすればそれは堕落する fact4: 「「このみにょみちょLv.86は泣き喚くということはないし更に回りくどくない」ということは偽だ」ということは本当だ fact5: 「「そのぴにぴくLv.50は言い出し難くなくて更に回りくどくない」ということは真実だ」ということは成り立たない fact6: 役らしいモンスターは好もしい fact7: 「とあるモンスターは立て始めなくてそれに計量しない」ということは成り立たないならば安っぽい
fact1 -> int1: 仮に「このみにょみちょLv.86は泣き喚かなくてその上回りくどくない」ということは成り立たないとしたら「徒らっぽい」ということは成り立つ; int1 & fact4 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> hypothesis;
$facts$ = fact1: 「もし「なにがしかのモンスターは泣き喚かないし更に回りくどくない」ということは成り立たないとすれば徒らっぽい」ということは事実だ fact2: 「もし仮に「あるモンスターは気持ち良くなくてしかも正しない」ということは真実でないとするとそれは分かち難い」ということは正しい fact3: もしこのぽにょぽにょLv.84が泣き喚くとすればそれは堕落する fact4: 「「このみにょみちょLv.86は泣き喚くということはないし更に回りくどくない」ということは偽だ」ということは本当だ fact5: 「「そのぴにぴくLv.50は言い出し難くなくて更に回りくどくない」ということは真実だ」ということは成り立たない fact6: 役らしいモンスターは好もしい fact7: 「とあるモンスターは立て始めなくてそれに計量しない」ということは成り立たないならば安っぽい ; $hypothesis$ = このみにょみちょLv.86は徒らっぽくない ; $proof$ = 
fact1 -> int1: 仮に「このみにょみちょLv.86は泣き喚かなくてその上回りくどくない」ということは成り立たないとしたら「徒らっぽい」ということは成り立つ; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> hypothesis; __DISPROVED__