「「そのぷちゃぷやLv.71は恥ずかしないかそれは遅れ易いかまたはどちらもである」ということは成り立たない」ということは嘘でない
fact1: もしあのぴわぴにゅLv.22が遅れ易くないとすればそれは欲しくない fact2: もし仮にあのぴわぴにゅLv.22が恥ずかしならそのぷちゃぷやLv.71は恥ずかしないかまたはそれは遅れ易いかもしくは両方ともである fact3: 欲しいということはないモンスターは恥ずかしない fact4: このまやまちょLv.84は遅れ易い fact5: あのぴわぴにゅLv.22は恥ずかししまた欲しい
fact5 -> int1: あのぴわぴにゅLv.22は恥ずかし; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
そのぷちゃぷやLv.71は恥ずかしということはないかあるいはそれは耐え難い
fact7 -> int2: もしあのぴわぴにゅLv.22は欲しいということはないとすると「あのぴわぴにゅLv.22は恥ずかしない」ということは確かだ;
$facts$ = fact1: もしあのぴわぴにゅLv.22が遅れ易くないとすればそれは欲しくない fact2: もし仮にあのぴわぴにゅLv.22が恥ずかしならそのぷちゃぷやLv.71は恥ずかしないかまたはそれは遅れ易いかもしくは両方ともである fact3: 欲しいということはないモンスターは恥ずかしない fact4: このまやまちょLv.84は遅れ易い fact5: あのぴわぴにゅLv.22は恥ずかししまた欲しい ; $hypothesis$ = 「「そのぷちゃぷやLv.71は恥ずかしないかそれは遅れ易いかまたはどちらもである」ということは成り立たない」ということは嘘でない ; $proof$ = 
fact5 -> int1: あのぴわぴにゅLv.22は恥ずかし; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__