「「そのもちょものLv.88は当て付けがましい一方でそれは返りらしくない」ということは成り立つ」ということは真実でない
fact1: そのもちょものLv.88は御優しいということはない fact2: もし仮にとあるモンスターは御優しくないとすると「当て付けがましいし更にそれは返りらしくない」ということは間違っている fact3: 「そのみにょみにゅLv.77は返りらしいがしかし所狭くない」ということは事実と異なる
fact2 -> int1: もし仮に「そのもちょものLv.88は御優しくない」ということは成り立てば「当て付けがましいししかも返りらしくない」ということは事実と異なる; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: そのもちょものLv.88は御優しいということはない fact2: もし仮にとあるモンスターは御優しくないとすると「当て付けがましいし更にそれは返りらしくない」ということは間違っている fact3: 「そのみにょみにゅLv.77は返りらしいがしかし所狭くない」ということは事実と異なる ; $hypothesis$ = 「「そのもちょものLv.88は当て付けがましい一方でそれは返りらしくない」ということは成り立つ」ということは真実でない ; $proof$ = 
fact2 -> int1: もし仮に「そのもちょものLv.88は御優しくない」ということは成り立てば「当て付けがましいししかも返りらしくない」ということは事実と異なる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis; __PROVED__