あのまにゅまちゃLv.21は訳無くてさらにつべたい
fact1: あのまにゅまちゃLv.21は勿体無いし黄色い fact2: 「あのまにゅまちゃLv.21はつべたいということはない」ということは誤っている fact3: 仮にあのまにゅまちゃLv.21は黄色いならば「あのまにゅまちゃLv.21は訳無い」ということは真実だ
fact1 -> int1: あのまにゅまちゃLv.21は黄色い; int1 & fact3 -> int2: 「あのまにゅまちゃLv.21は訳無い」ということは成り立つ; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: あのまにゅまちゃLv.21は勿体無いし黄色い fact2: 「あのまにゅまちゃLv.21はつべたいということはない」ということは誤っている fact3: 仮にあのまにゅまちゃLv.21は黄色いならば「あのまにゅまちゃLv.21は訳無い」ということは真実だ ; $hypothesis$ = あのまにゅまちゃLv.21は訳無くてさらにつべたい ; $proof$ = 
fact1 -> int1: あのまにゅまちゃLv.21は黄色い; int1 & fact3 -> int2: 「あのまにゅまちゃLv.21は訳無い」ということは成り立つ; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__