あのぽにゃぽにゅLv.89は言い難くないけど寒ーい
fact1: あのみえみにゃLv.8は手荒い fact2: あのぽにゃぽにゅLv.89は言い難いということはない fact3: もし仮に何らかのモンスターは手荒いとすると「言い難くないモンスターで寒ーい」ということは間違っている fact4: 「もし仮にあるモンスターが手荒いとしたら言い難くない」ということは確かである fact5: もし仮にあのみえみにゃLv.8が言い難いということはないとしたらあのぽにゃぽにゅLv.89は言い難いということはない fact6: もし仮にあのみえみにゃLv.8が言い難いということはないとしたらあのぽにゃぽにゅLv.89は言い難くない一方で寒ーい
fact4 -> int1: 仮に「あのみえみにゃLv.8は手荒い」ということは成り立つなら言い難くない; int1 & fact1 -> int2: あのみえみにゃLv.8は言い難くない; int2 & fact6 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact1 -> int2: ¬{C}{aa}; int2 & fact6 -> hypothesis;
「あのぽにゃぽにゅLv.89は言い難くないけど寒ーい」ということは誤りである
fact7 -> int3: もし「あのぽにゃぽにゅLv.89は手荒い」ということは正しいとすると「あのぽにゃぽにゅLv.89は言い難くないが寒ーい」ということは間違っている;
$facts$ = fact1: あのみえみにゃLv.8は手荒い fact2: あのぽにゃぽにゅLv.89は言い難いということはない fact3: もし仮に何らかのモンスターは手荒いとすると「言い難くないモンスターで寒ーい」ということは間違っている fact4: 「もし仮にあるモンスターが手荒いとしたら言い難くない」ということは確かである fact5: もし仮にあのみえみにゃLv.8が言い難いということはないとしたらあのぽにゃぽにゅLv.89は言い難いということはない fact6: もし仮にあのみえみにゃLv.8が言い難いということはないとしたらあのぽにゃぽにゅLv.89は言い難くない一方で寒ーい ; $hypothesis$ = あのぽにゃぽにゅLv.89は言い難くないけど寒ーい ; $proof$ = 
fact4 -> int1: 仮に「あのみえみにゃLv.8は手荒い」ということは成り立つなら言い難くない; int1 & fact1 -> int2: あのみえみにゃLv.8は言い難くない; int2 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact1 -> int2: ¬{C}{aa}; int2 & fact6 -> hypothesis; __PROVED__