そのまえまいLv.19は柔らかい
fact1: そのぴよぴくLv.38は柔らかい fact2: 仮にあのぽちょぽやLv.35は果てし無い一方で柔らかくないとすると「そのまえまいLv.19は柔らかくない」ということは真実である fact3: もしあのぽちょぽやLv.35がどうしても欲しいとするとそれは削減す fact4: あのみいみわLv.76は果てし無くない fact5: 果てし無くないモンスターは古めかしいか出し易い fact6: もしあのみいみわLv.76が柔らかいとしたらそのまえまいLv.19は出し易い fact7: あのみいみわLv.76が出し易いとしたらあのぽちょぽやLv.35はどうしても欲しい fact8: もしもあのみいみわLv.76が古めかしいとしたらあのぽちょぽやLv.35はどうしても欲しい fact9: そのまえまいLv.19は出し易くない
fact5 -> int1: もし仮にあのみいみわLv.76が果てし無くないならばそれは古めかしいかまたは出し易い; int1 & fact4 -> int2: あのみいみわLv.76は古めかしいかもしくは出し易いか両方ともである; int2 & fact8 & fact7 -> int3: あのぽちょぽやLv.35はどうしても欲しい; int3 & fact3 -> int4: あのぽちょぽやLv.35は削減す;
fact5 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} v {AB}{aa}); int2 & fact8 & fact7 -> int3: {B}{a}; int3 & fact3 -> int4: {C}{a};
そのまえまいLv.19は柔らかくない
$facts$ = fact1: そのぴよぴくLv.38は柔らかい fact2: 仮にあのぽちょぽやLv.35は果てし無い一方で柔らかくないとすると「そのまえまいLv.19は柔らかくない」ということは真実である fact3: もしあのぽちょぽやLv.35がどうしても欲しいとするとそれは削減す fact4: あのみいみわLv.76は果てし無くない fact5: 果てし無くないモンスターは古めかしいか出し易い fact6: もしあのみいみわLv.76が柔らかいとしたらそのまえまいLv.19は出し易い fact7: あのみいみわLv.76が出し易いとしたらあのぽちょぽやLv.35はどうしても欲しい fact8: もしもあのみいみわLv.76が古めかしいとしたらあのぽちょぽやLv.35はどうしても欲しい fact9: そのまえまいLv.19は出し易くない ; $hypothesis$ = そのまえまいLv.19は柔らかい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__