このまちゃまにLv.11は行い続けないかあるいは決め為さらないか両方だ
fact1: このまちゃまにLv.11は許し難し fact2: このまちゃまにLv.11は行い続ける fact3: このまちゃまにLv.11が過ごし易いならこのまちゃまにLv.11は返事する fact4: このまちゃまにLv.11は返事するとすると「行い続けないかもしくは決め為さらないかもしくは両方ともだ」ということは偽である fact5: もし仮にこのまちゃまにLv.11が返事するとするとこのまちゃまにLv.11は行い続ける fact6: もしもこのまにゅまよLv.79が許し難くないならばこのまちゃまにLv.11は行い続けないか決め為さらないかもしくは両方だ fact7: もしもこのまちゃまにLv.11が許し難しとすればこのまちゃまにLv.11は過ごし易い
fact7 & fact1 -> int1: このまちゃまにLv.11は過ごし易い; int1 & fact3 -> int2: このまちゃまにLv.11は返事する; int2 & fact4 -> hypothesis;
fact7 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
このまちゃまにLv.11は行い続けないかあるいは決め為さらないか両方だ
$facts$ = fact1: このまちゃまにLv.11は許し難し fact2: このまちゃまにLv.11は行い続ける fact3: このまちゃまにLv.11が過ごし易いならこのまちゃまにLv.11は返事する fact4: このまちゃまにLv.11は返事するとすると「行い続けないかもしくは決め為さらないかもしくは両方ともだ」ということは偽である fact5: もし仮にこのまちゃまにLv.11が返事するとするとこのまちゃまにLv.11は行い続ける fact6: もしもこのまにゅまよLv.79が許し難くないならばこのまちゃまにLv.11は行い続けないか決め為さらないかもしくは両方だ fact7: もしもこのまちゃまにLv.11が許し難しとすればこのまちゃまにLv.11は過ごし易い ; $hypothesis$ = このまちゃまにLv.11は行い続けないかあるいは決め為さらないか両方だ ; $proof$ = 
fact7 & fact1 -> int1: このまちゃまにLv.11は過ごし易い; int1 & fact3 -> int2: このまちゃまにLv.11は返事する; int2 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__