「「このぷわぷにLv.82はたどたどしくなくてさらにとろくない」ということは成り立つ」ということは間違っている
fact1: 「このぷわぷにLv.82はたどたどしいということはないがそれはとろい」ということは嘘である fact2: 仮にこのまいまちゃLv.73が言い訳がましいとするとこのまいまちゃLv.73は若者らしい fact3: 仮になにがしかのモンスターは重しないならば「それは若者らしくないしまた生白くない」ということは間違っている fact4: このまいまちゃLv.73は重し fact5: もしもこのまいまちゃLv.73は重しなら「言い訳がましい」ということは本当である fact6: このまいまちゃLv.73は若者らしいなら「「このぷわぷにLv.82はたどたどしくなくてそれはとろくない」ということは真実だ」ということは嘘だ
fact5 & fact4 -> int1: 「このまいまちゃLv.73は言い訳がましい」ということは確かである; int1 & fact2 -> int2: このまいまちゃLv.73は若者らしい; int2 & fact6 -> hypothesis;
fact5 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
「そのまのまよLv.51は若者らしくないしそれにそれは生白くない」ということは嘘である
fact7 -> int3: もしそのまのまよLv.51は重しないとしたら「そのまのまよLv.51は若者らしくないしそれに生白くない」ということは嘘である;
$facts$ = fact1: 「このぷわぷにLv.82はたどたどしいということはないがそれはとろい」ということは嘘である fact2: 仮にこのまいまちゃLv.73が言い訳がましいとするとこのまいまちゃLv.73は若者らしい fact3: 仮になにがしかのモンスターは重しないならば「それは若者らしくないしまた生白くない」ということは間違っている fact4: このまいまちゃLv.73は重し fact5: もしもこのまいまちゃLv.73は重しなら「言い訳がましい」ということは本当である fact6: このまいまちゃLv.73は若者らしいなら「「このぷわぷにLv.82はたどたどしくなくてそれはとろくない」ということは真実だ」ということは嘘だ ; $hypothesis$ = 「「このぷわぷにLv.82はたどたどしくなくてさらにとろくない」ということは成り立つ」ということは間違っている ; $proof$ = 
fact5 & fact4 -> int1: 「このまいまちゃLv.73は言い訳がましい」ということは確かである; int1 & fact2 -> int2: このまいまちゃLv.73は若者らしい; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __PROVED__