そのぽえぽにゃLv.10は田舎っぽい
fact1: もしもそのもわもよLv.60は雄々しいとすれば「「そのぽえぽにゃLv.10は狡くなくて御喜び申し上げない」ということは確かである」ということは成り立たない fact2: もし「そのぽえぽにゃLv.10は狡くないしおまけに御喜び申し上げない」ということは嘘であるなら田舎っぽい fact3: 「そのぽえぽにゃLv.10はひもじくなくてそれは雄々しいということはない」ということは成り立たない fact4: 「このぴにょぴちゃLv.44は田舎っぽいけれど恥ずかしない」ということは嘘である fact5: そのぽえぽにゃLv.10は雄々しい fact6: 「そのぽえぽにゃLv.10は御喜び申し上げるということはなくておまけに雄々しくない」ということは成り立たない fact7: そのもわもよLv.60は狡い fact8: そのもわもよLv.60は雄々しい
fact1 & fact8 -> int1: 「そのぽえぽにゃLv.10は狡くなくてそれは御喜び申し上げない」ということは成り立たない; int1 & fact2 -> hypothesis;
fact1 & fact8 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact2 -> hypothesis;
$facts$ = fact1: もしもそのもわもよLv.60は雄々しいとすれば「「そのぽえぽにゃLv.10は狡くなくて御喜び申し上げない」ということは確かである」ということは成り立たない fact2: もし「そのぽえぽにゃLv.10は狡くないしおまけに御喜び申し上げない」ということは嘘であるなら田舎っぽい fact3: 「そのぽえぽにゃLv.10はひもじくなくてそれは雄々しいということはない」ということは成り立たない fact4: 「このぴにょぴちゃLv.44は田舎っぽいけれど恥ずかしない」ということは嘘である fact5: そのぽえぽにゃLv.10は雄々しい fact6: 「そのぽえぽにゃLv.10は御喜び申し上げるということはなくておまけに雄々しくない」ということは成り立たない fact7: そのもわもよLv.60は狡い fact8: そのもわもよLv.60は雄々しい ; $hypothesis$ = そのぽえぽにゃLv.10は田舎っぽい ; $proof$ = 
fact1 & fact8 -> int1: 「そのぽえぽにゃLv.10は狡くなくてそれは御喜び申し上げない」ということは成り立たない; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact8 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact2 -> hypothesis; __PROVED__