あの執事は御結びであるがしかし逆立ちしない
fact1: あの執事は運動過多性構音障害だ fact2: もしあの執事が運動過多性構音障害だとすると御結びだしさらにそれは逆立ちしない
$facts$ = fact1: あの執事は運動過多性構音障害だ fact2: もしあの執事が運動過多性構音障害だとすると御結びだしさらにそれは逆立ちしない ; $hypothesis$ = あの執事は御結びであるがしかし逆立ちしない ; $proof$ = 
事実1: あの執事は運動過多性構音障害だ
事実2: もしあの執事が運動過多性構音障害だとすると御結びだしさらにそれは逆立ちしない

仮説: あの執事は御結びであるがしかし逆立ちしない