このまやまにゅLv.25は甘ったるい
fact1: あのぽわぽなLv.8が生成し易いとすればそれは軍人らしいということはなくて零す fact2: あのぽわぽなLv.8は生成し易い fact3: そのぴゆぴにょLv.9は軍人らしいということはないが気恥ずかしい fact4: 仮にあのぷよぷわLv.19が厚ぼったいとすればこのまやまにゅLv.25は生成し易い fact5: もしあのぷよぷわLv.19が厚ぼったくないとすればこのまやまにゅLv.25は見過ぎるかまたは甘ったるいかまたは両方ともだ fact6: もしあのぽわぽなLv.8は見過ぎれば「このまやまにゅLv.25は甘ったるい」ということは事実と異ならない
fact1 & fact2 -> int1: あのぽわぽなLv.8は軍人らしくないが零す;
fact1 & fact2 -> int1: (¬{AA}{aa} & {AB}{aa});
このまやまにゅLv.25は生成し易い
$facts$ = fact1: あのぽわぽなLv.8が生成し易いとすればそれは軍人らしいということはなくて零す fact2: あのぽわぽなLv.8は生成し易い fact3: そのぴゆぴにょLv.9は軍人らしいということはないが気恥ずかしい fact4: 仮にあのぷよぷわLv.19が厚ぼったいとすればこのまやまにゅLv.25は生成し易い fact5: もしあのぷよぷわLv.19が厚ぼったくないとすればこのまやまにゅLv.25は見過ぎるかまたは甘ったるいかまたは両方ともだ fact6: もしあのぽわぽなLv.8は見過ぎれば「このまやまにゅLv.25は甘ったるい」ということは事実と異ならない ; $hypothesis$ = このまやまにゅLv.25は甘ったるい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__