このぷちゃぷいLv.40は恥ずかしない
fact1: このぷちゃぷいLv.40は取り巻く fact2: このぷちゃぷいLv.40は取り巻くしかつ促す fact3: このぷちゃぷいLv.40が大人らしいしかつ促せばこのぷちゃぷいLv.40は恥ずかしない
fact2 -> int1: 「このぷちゃぷいLv.40は促す」ということは事実だ;
fact2 -> int1: {B}{a};
$facts$ = fact1: このぷちゃぷいLv.40は取り巻く fact2: このぷちゃぷいLv.40は取り巻くしかつ促す fact3: このぷちゃぷいLv.40が大人らしいしかつ促せばこのぷちゃぷいLv.40は恥ずかしない ; $hypothesis$ = このぷちゃぷいLv.40は恥ずかしない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__