そのもなもくLv.29は楽しくて紳士らしい
fact1: そのもなもくLv.29は力無くない fact2: なんらかのモンスターは力無いということはないとしたら「楽しいしその上紳士らしい」ということは誤っている fact3: 「もし仮になにがしかのモンスターはブラバスらしくないとすれば「それは伝わり易いし加えて紳士らしい」ということは成り立たない」ということは正しい
fact2 -> int1: もしもそのもなもくLv.29は力無くないとしたら「そのもなもくLv.29は楽しくてそれに紳士らしい」ということは成り立たない; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis;
もしそのもなもくLv.29はブラバスらしくないとすると「そのもなもくLv.29は伝わり易くて紳士らしい」ということは成り立たない
fact4 -> hypothesis;
$facts$ = fact1: そのもなもくLv.29は力無くない fact2: なんらかのモンスターは力無いということはないとしたら「楽しいしその上紳士らしい」ということは誤っている fact3: 「もし仮になにがしかのモンスターはブラバスらしくないとすれば「それは伝わり易いし加えて紳士らしい」ということは成り立たない」ということは正しい ; $hypothesis$ = そのもなもくLv.29は楽しくて紳士らしい ; $proof$ = 
fact2 -> int1: もしもそのもなもくLv.29は力無くないとしたら「そのもなもくLv.29は楽しくてそれに紳士らしい」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__