「このぴくぴえLv.57は吠え出す」ということは本当だ
fact1: もしもこのもちょもくLv.58が通じ易いとしたらそのぷちゅぷにLv.63は愛しい fact2: 全てのモンスターは吠え出す fact3: あのぴにゃぴちゅLv.94は吠え出す fact4: あらゆるモンスターは舞えるか等しい fact5: 愛しいモンスターは無理無い
fact2 -> int1: 全てのモンスターは吠え出す; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのみいみやLv.70は吠え出す
fact6 -> int2: もし仮にそのぷちゅぷにLv.63は愛しいならば「それは無理無い」ということは真実である; fact7 -> int3: そのもちょもにゃLv.55は舞えるかそれは等しいかもしくはどちらもだ;
$facts$ = fact1: もしもこのもちょもくLv.58が通じ易いとしたらそのぷちゅぷにLv.63は愛しい fact2: 全てのモンスターは吠え出す fact3: あのぴにゃぴちゅLv.94は吠え出す fact4: あらゆるモンスターは舞えるか等しい fact5: 愛しいモンスターは無理無い ; $hypothesis$ = 「このぴくぴえLv.57は吠え出す」ということは本当だ ; $proof$ = 
fact2 -> int1: 全てのモンスターは吠え出す; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__