そのぽくぽなLv.24は太し
fact1: そのぴにゅぴよLv.70は末恐ろしくない fact2: そのぴにゅぴよLv.70が抽出し為さるしさらにそれが太しとしたらそのぽくぽなLv.24は太しない fact3: 末恐ろしいということはないモンスターは抽出し為さるしおまけに凭れる fact4: そのぽくぽなLv.24は厚ぼったいしかつ抽出し為さる fact5: 仮にそのぽくぽなLv.24は抽出し為さるとしたら「それは太し」ということは事実だ
fact4 -> int1: そのぽくぽなLv.24は抽出し為さる; int1 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
そのぽくぽなLv.24は太しない
fact6 -> int2: そのぴにゅぴよLv.70は末恐ろしくないなら「それは抽出し為さるしかつそれは凭れる」ということは間違いでない; int2 & fact8 -> int3: 「そのぴにゅぴよLv.70は抽出し為さるしそれに凭れる」ということは本当だ; int3 -> int4: そのぴにゅぴよLv.70は抽出し為さる;
$facts$ = fact1: そのぴにゅぴよLv.70は末恐ろしくない fact2: そのぴにゅぴよLv.70が抽出し為さるしさらにそれが太しとしたらそのぽくぽなLv.24は太しない fact3: 末恐ろしいということはないモンスターは抽出し為さるしおまけに凭れる fact4: そのぽくぽなLv.24は厚ぼったいしかつ抽出し為さる fact5: 仮にそのぽくぽなLv.24は抽出し為さるとしたら「それは太し」ということは事実だ ; $hypothesis$ = そのぽくぽなLv.24は太し ; $proof$ = 
fact4 -> int1: そのぽくぽなLv.24は抽出し為さる; int1 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __PROVED__