「仮に「言い付からない」ということは真実なら「縁遠いししかも心憎い」ということは偽である」モンスターはいる
fact1: もしなにがしかのモンスターは言い付かるなら「縁遠くて心憎い」ということは間違いである fact2: もしあるモンスターは理解し辛くないとしたら「薄暗いし更に可愛らしい」ということは偽だ fact3: 「なにがしかのモンスターは言い付からない」ということは正しいなら「縁遠いし心憎い」ということは成り立たない
fact3 -> int1: そのみねみにょLv.62は言い付からないとすると「縁遠いしその上心憎い」ということは間違っている; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしなにがしかのモンスターは言い付かるなら「縁遠くて心憎い」ということは間違いである fact2: もしあるモンスターは理解し辛くないとしたら「薄暗いし更に可愛らしい」ということは偽だ fact3: 「なにがしかのモンスターは言い付からない」ということは正しいなら「縁遠いし心憎い」ということは成り立たない ; $hypothesis$ = 「仮に「言い付からない」ということは真実なら「縁遠いししかも心憎い」ということは偽である」モンスターはいる ; $proof$ = 
fact3 -> int1: そのみねみにょLv.62は言い付からないとすると「縁遠いしその上心憎い」ということは間違っている; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__