「誤解し易いとすると「血腥くないし更に確認し難くない」ということは嘘な」モンスターはいる
fact1: 仮にとあるモンスターは誤解し易いとすると「それは血腥くないし確認し難くない」ということは成り立たない fact2: もし「あのみよみゆLv.62は誤解し易い」ということは確かだとすると「あのみよみゆLv.62は血腥いということはないがしかしそれは確認し難い」ということは成り立たない
fact1 -> int1: 仮にあのみよみゆLv.62は誤解し易いとすると「あのみよみゆLv.62は血腥くないし加えて確認し難くない」ということは成り立たない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 仮にとあるモンスターは誤解し易いとすると「それは血腥くないし確認し難くない」ということは成り立たない fact2: もし「あのみよみゆLv.62は誤解し易い」ということは確かだとすると「あのみよみゆLv.62は血腥いということはないがしかしそれは確認し難い」ということは成り立たない ; $hypothesis$ = 「誤解し易いとすると「血腥くないし更に確認し難くない」ということは嘘な」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮にあのみよみゆLv.62は誤解し易いとすると「あのみよみゆLv.62は血腥くないし加えて確認し難くない」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__