「もし仮にこのもなもにゃLv.85が侘しいならばこのもねもゆLv.93は程近い」ということは成り立たない
fact1: もし仮になにがしかのモンスターは侘しいとすると「疎くなくておまけに装い続けない」ということは誤っている fact2: もしも「このもなもにゃLv.85は装い続ける」ということは成り立つならこのもねもゆLv.93は程近い fact3: このもなもにゃLv.85は程近い fact4: もしも「このもなもにゃLv.85は疎くなくてまたそれは装い続けない」ということは嘘だとすればこのもねもゆLv.93は程近い fact5: このもなもにゃLv.85が程近いならこのもねもゆLv.93は疎い
fact1 -> int1: 仮にこのもなもにゃLv.85は侘しいならば「このもなもにゃLv.85は疎くなくて装い続けない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このもなもにゃLv.85は侘しい; int1 & assump1 -> int2: 「このもなもにゃLv.85は疎くなくてさらに装い続けるということはない」ということは成り立たない; int2 & fact4 -> int3: このもねもゆLv.93は程近い; [assump1] & int3 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> int3: {B}{a}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのモンスターは侘しいとすると「疎くなくておまけに装い続けない」ということは誤っている fact2: もしも「このもなもにゃLv.85は装い続ける」ということは成り立つならこのもねもゆLv.93は程近い fact3: このもなもにゃLv.85は程近い fact4: もしも「このもなもにゃLv.85は疎くなくてまたそれは装い続けない」ということは嘘だとすればこのもねもゆLv.93は程近い fact5: このもなもにゃLv.85が程近いならこのもねもゆLv.93は疎い ; $hypothesis$ = 「もし仮にこのもなもにゃLv.85が侘しいならばこのもねもゆLv.93は程近い」ということは成り立たない ; $proof$ = 
fact1 -> int1: 仮にこのもなもにゃLv.85は侘しいならば「このもなもにゃLv.85は疎くなくて装い続けない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このもなもにゃLv.85は侘しい; int1 & assump1 -> int2: 「このもなもにゃLv.85は疎くなくてさらに装い続けるということはない」ということは成り立たない; int2 & fact4 -> int3: このもねもゆLv.93は程近い; [assump1] & int3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> int3: {B}{a}; [assump1] & int3 -> hypothesis; __DISPROVED__