「あのぽねぽよLv.43は痛み易い一方で偏り易くない」ということは間違いである
fact1: もし「あのぴにゃぴゆLv.61は看過し難くない」ということは事実なら「あのぽねぽよLv.43は痛み易いししかも偏り易い」ということは間違いだ fact2: もしも「あのぴくぴくLv.58は幼けない」ということは成り立つとすると「あのぴにゃぴゆLv.61は攻撃し易い」ということは本当である fact3: 仮に「なんらかのモンスターはプロットするということはなくて加えて攻撃し易くない」ということは間違いだとしたらそれは攻撃し易い fact4: もしなんらかのモンスターは幼けないとしたら「面映ゆい」ということは成り立つ fact5: そのまなまくLv.72は面映ゆい fact6: もし仮にそのまなまくLv.72が面映ゆいとすればあのぴくぴくLv.58は幼けない fact7: もしもあのぴにゃぴゆLv.61は看過し難いということはないとしたら「あのぽねぽよLv.43は痛み易いがそれは偏り易くない」ということは成り立つということはない fact8: もしあのぴにゃぴゆLv.61が攻撃し易いかプロットするかもしくは両方ともであるとしたらそれは看過し難くない fact9: 面映ゆいモンスターは痛み易いが偏り易くない fact10: もしそのまなまくLv.72は攻撃し易いならば「あのぽねぽよLv.43は幼けない」ということは成り立つ
fact6 & fact5 -> int1: あのぴくぴくLv.58は幼けない; int1 & fact2 -> int2: あのぴにゃぴゆLv.61は攻撃し易い; int2 -> int3: あのぴにゃぴゆLv.61は攻撃し易いかあるいはそれはプロットする; int3 & fact8 -> int4: あのぴにゃぴゆLv.61は看過し難くない; int4 & fact7 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 -> int3: ({C}{c} v {D}{c}); int3 & fact8 -> int4: ¬{E}{c}; int4 & fact7 -> hypothesis;
あのぽねぽよLv.43は痛み易い一方で偏り易くない
fact11 -> int5: もしもあのぽねぽよLv.43が面映ゆいならそれは痛み易い一方で偏り易くない; fact12 -> int6: もし仮にあのぽねぽよLv.43が幼けないとすればそれは面映ゆい; fact14 -> int7: もしも「そのまなまくLv.72はプロットしなくてさらに攻撃し易くない」ということは誤っているならそのまなまくLv.72は攻撃し易い;
$facts$ = fact1: もし「あのぴにゃぴゆLv.61は看過し難くない」ということは事実なら「あのぽねぽよLv.43は痛み易いししかも偏り易い」ということは間違いだ fact2: もしも「あのぴくぴくLv.58は幼けない」ということは成り立つとすると「あのぴにゃぴゆLv.61は攻撃し易い」ということは本当である fact3: 仮に「なんらかのモンスターはプロットするということはなくて加えて攻撃し易くない」ということは間違いだとしたらそれは攻撃し易い fact4: もしなんらかのモンスターは幼けないとしたら「面映ゆい」ということは成り立つ fact5: そのまなまくLv.72は面映ゆい fact6: もし仮にそのまなまくLv.72が面映ゆいとすればあのぴくぴくLv.58は幼けない fact7: もしもあのぴにゃぴゆLv.61は看過し難いということはないとしたら「あのぽねぽよLv.43は痛み易いがそれは偏り易くない」ということは成り立つということはない fact8: もしあのぴにゃぴゆLv.61が攻撃し易いかプロットするかもしくは両方ともであるとしたらそれは看過し難くない fact9: 面映ゆいモンスターは痛み易いが偏り易くない fact10: もしそのまなまくLv.72は攻撃し易いならば「あのぽねぽよLv.43は幼けない」ということは成り立つ ; $hypothesis$ = 「あのぽねぽよLv.43は痛み易い一方で偏り易くない」ということは間違いである ; $proof$ = 
fact6 & fact5 -> int1: あのぴくぴくLv.58は幼けない; int1 & fact2 -> int2: あのぴにゃぴゆLv.61は攻撃し易い; int2 -> int3: あのぴにゃぴゆLv.61は攻撃し易いかあるいはそれはプロットする; int3 & fact8 -> int4: あのぴにゃぴゆLv.61は看過し難くない; int4 & fact7 -> hypothesis; __PROVED__
fact6 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 -> int3: ({C}{c} v {D}{c}); int3 & fact8 -> int4: ¬{E}{c}; int4 & fact7 -> hypothesis; __PROVED__