あのぴえぴにょLv.33は繰り返し遣らない
fact1: 「なんらかのモンスターは際どくないかそれは微笑ましいかあるいは両方ともだ」ということは誤っているならそれは取り組み易くない fact2: 「あのぴいぴよLv.2は際どいということはないかあるいは微笑ましいか両方ともだ」ということは成り立たない fact3: もしあのぴえぴにょLv.33が着せがましいとすると繰り返し遣る fact4: あのぴいぴよLv.2は微笑ましくない fact5: あのぴいぴよLv.2は固し fact6: あのぴいぴよLv.2がいがらっぽくない一方で固しならあのぴえぴにょLv.33は着せがましい
fact1 -> int1: もし仮に「あのぴいぴよLv.2は際どいということはないかまたは微笑ましい」ということは嘘だとすれば取り組み易くない; int1 & fact2 -> int2: あのぴいぴよLv.2は取り組み易くない;
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa};
$facts$ = fact1: 「なんらかのモンスターは際どくないかそれは微笑ましいかあるいは両方ともだ」ということは誤っているならそれは取り組み易くない fact2: 「あのぴいぴよLv.2は際どいということはないかあるいは微笑ましいか両方ともだ」ということは成り立たない fact3: もしあのぴえぴにょLv.33が着せがましいとすると繰り返し遣る fact4: あのぴいぴよLv.2は微笑ましくない fact5: あのぴいぴよLv.2は固し fact6: あのぴいぴよLv.2がいがらっぽくない一方で固しならあのぴえぴにょLv.33は着せがましい ; $hypothesis$ = あのぴえぴにょLv.33は繰り返し遣らない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__