「あのまやまにゃLv.64は奥深くないかあるいは目的無しか両方である」ということは成り立たない
fact1: あのまやまにゃLv.64は彼女らしい fact2: もしもなにがしかのモンスターが彼女らしいならばそれは益無しない fact3: 仮にあのまやまにゃLv.64が益無しないならば奥深くないか目的無しかもしくはどちらもである fact4: 仮になんらかのモンスターは彼女らしいということはないとすれば「奥深くないかまたは目的無しかまたはどちらもである」ということは正しくない fact5: あのまやまにゃLv.64は奥深いか目的無し
fact2 -> int1: もし仮にあのまやまにゃLv.64が彼女らしいとするとあのまやまにゃLv.64は益無しない; int1 & fact1 -> int2: あのまやまにゃLv.64は益無しない; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact1 -> int2: ¬{C}{aa}; int2 & fact3 -> hypothesis;
「あのまやまにゃLv.64は奥深くないかあるいは目的無しか両方である」ということは成り立たない
fact6 -> int3: 仮にあのまやまにゃLv.64は彼女らしくないとしたら「奥深くないかそれは目的無しか両方である」ということは事実と異なる;
$facts$ = fact1: あのまやまにゃLv.64は彼女らしい fact2: もしもなにがしかのモンスターが彼女らしいならばそれは益無しない fact3: 仮にあのまやまにゃLv.64が益無しないならば奥深くないか目的無しかもしくはどちらもである fact4: 仮になんらかのモンスターは彼女らしいということはないとすれば「奥深くないかまたは目的無しかまたはどちらもである」ということは正しくない fact5: あのまやまにゃLv.64は奥深いか目的無し ; $hypothesis$ = 「あのまやまにゃLv.64は奥深くないかあるいは目的無しか両方である」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし仮にあのまやまにゃLv.64が彼女らしいとするとあのまやまにゃLv.64は益無しない; int1 & fact1 -> int2: あのまやまにゃLv.64は益無しない; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact1 -> int2: ¬{C}{aa}; int2 & fact3 -> hypothesis; __DISPROVED__