このもにもゆLv.85は甘ったるくて離る
fact1: もし仮にこのぽねぽやLv.60が見辛いとしたらこのもにもゆLv.85は長たらしい fact2: もし仮にこのもにもゆLv.85が長たらしいとするとそれは甘ったるい fact3: もしもこのぽねぽやLv.60は見辛くないならば「このもにもゆLv.85は甘ったるくて離る」ということは成り立たない fact4: あらゆるモンスターは見辛いかあるいは物色するかあるいはどちらもだ fact5: 「あのまなまなLv.24は物色しない」ということは成り立つとすればこのぽねぽやLv.60は見辛くない fact6: 仮にこのぽねぽやLv.60が物色するならこのもにもゆLv.85は長たらしい
fact4 -> int1: このぽねぽやLv.60は見辛いかまたはそれは物色する; int1 & fact1 & fact6 -> int2: このもにもゆLv.85は長たらしい; int2 & fact2 -> int3: このもにもゆLv.85は甘ったるい;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact1 & fact6 -> int2: {C}{c}; int2 & fact2 -> int3: {D}{c};
「このもにもゆLv.85は甘ったるくて離る」ということは嘘だ
$facts$ = fact1: もし仮にこのぽねぽやLv.60が見辛いとしたらこのもにもゆLv.85は長たらしい fact2: もし仮にこのもにもゆLv.85が長たらしいとするとそれは甘ったるい fact3: もしもこのぽねぽやLv.60は見辛くないならば「このもにもゆLv.85は甘ったるくて離る」ということは成り立たない fact4: あらゆるモンスターは見辛いかあるいは物色するかあるいはどちらもだ fact5: 「あのまなまなLv.24は物色しない」ということは成り立つとすればこのぽねぽやLv.60は見辛くない fact6: 仮にこのぽねぽやLv.60が物色するならこのもにもゆLv.85は長たらしい ; $hypothesis$ = このもにもゆLv.85は甘ったるくて離る ; $proof$ = 
__UNKNOWN__
__UNKNOWN__