あの端子は下向く
fact1: もし「混ぜ合わせる」ものがあるとすればあの端子は下向かない fact2: 「混ぜ合わせる」ものはある
$facts$ = fact1: もし「混ぜ合わせる」ものがあるとすればあの端子は下向かない fact2: 「混ぜ合わせる」ものはある ; $hypothesis$ = あの端子は下向く ; $proof$ = 
事実1: もし「混ぜ合わせる」ものがあるとすればあの端子は下向かない
事実2: 「混ぜ合わせる」ものはある

仮説: あの端子は下向く