そのぽよぽやLv.15は女々しい
fact1: そのぽよぽやLv.15は静止する fact2: そのぽよぽやLv.15が心地良くてかつ重苦しいとすればそのぽよぽやLv.15は女々しくない fact3: 仮にそのぽよぽやLv.15が静止するとするとそのぽよぽやLv.15は心地良い
fact3 & fact1 -> int1: そのぽよぽやLv.15は心地良い;
fact3 & fact1 -> int1: {B}{a};
$facts$ = fact1: そのぽよぽやLv.15は静止する fact2: そのぽよぽやLv.15が心地良くてかつ重苦しいとすればそのぽよぽやLv.15は女々しくない fact3: 仮にそのぽよぽやLv.15が静止するとするとそのぽよぽやLv.15は心地良い ; $hypothesis$ = そのぽよぽやLv.15は女々しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__