「そのぴゆぴわLv.77は素っ気ないということはない」ということは事実である
fact1: そのぴゆぴわLv.77は浅まし fact2: もしもあのぷにょぷちょLv.21が素っ気ないけれどそれが描き易くないとすればそのぴゆぴわLv.77は素っ気なくない fact3: そのぴゆぴわLv.77は描き易いしさらに浅まし fact4: もしもそのぴゆぴわLv.77が描き易いとしたらそのぴゆぴわLv.77は広がり易い
fact3 -> int1: そのぴゆぴわLv.77は描き易い; int1 & fact4 -> int2: そのぴゆぴわLv.77は広がり易い;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a};
「そのぴゆぴわLv.77は素っ気ないということはない」ということは事実である
$facts$ = fact1: そのぴゆぴわLv.77は浅まし fact2: もしもあのぷにょぷちょLv.21が素っ気ないけれどそれが描き易くないとすればそのぴゆぴわLv.77は素っ気なくない fact3: そのぴゆぴわLv.77は描き易いしさらに浅まし fact4: もしもそのぴゆぴわLv.77が描き易いとしたらそのぴゆぴわLv.77は広がり易い ; $hypothesis$ = 「そのぴゆぴわLv.77は素っ気ないということはない」ということは事実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__