以下のように仮定する。このまのまにゃLv.23は図り難いということはないがしかし長たらしい
fact1: あのもちゅもくLv.58は奮い立たない fact2: 仮にこのまのまにゃLv.23は図り難くないけれど長たらしいならば感慨深い fact3: 「「「このまのまにゃLv.23は図り難いし加えてそれは長たらしい」ということは本当だ」ということは誤りである」ということは確かだ
void -> assump1: 以下のように仮定する。このまのまにゃLv.23は図り難いということはないがしかし長たらしい; fact2 & assump1 -> int1: このまのまにゃLv.23は感慨深い;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact2 & assump1 -> int1: {B}{a};
$facts$ = fact1: あのもちゅもくLv.58は奮い立たない fact2: 仮にこのまのまにゃLv.23は図り難くないけれど長たらしいならば感慨深い fact3: 「「「このまのまにゃLv.23は図り難いし加えてそれは長たらしい」ということは本当だ」ということは誤りである」ということは確かだ ; $hypothesis$ = 以下のように仮定する。このまのまにゃLv.23は図り難いということはないがしかし長たらしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__