その公子が御次だとすると馴れ馴れしくないけど忠実忠実しい
fact1: 御次は馴れ馴れしくない一方で忠実忠実しい
$facts$ = fact1: 御次は馴れ馴れしくない一方で忠実忠実しい ; $hypothesis$ = その公子が御次だとすると馴れ馴れしくないけど忠実忠実しい ; $proof$ = 
事実1: 御次は馴れ馴れしくない一方で忠実忠実しい

仮説: その公子が御次だとすると馴れ馴れしくないけど忠実忠実しい