「あの横雲は特別養子縁組でない」ということは本当である
fact1: もしも「あの横雲は残代金合計額だ」ということは成り立てばそれは特別養子縁組である fact2: あの横雲は残代金合計額だ
$facts$ = fact1: もしも「あの横雲は残代金合計額だ」ということは成り立てばそれは特別養子縁組である fact2: あの横雲は残代金合計額だ ; $hypothesis$ = 「あの横雲は特別養子縁組でない」ということは本当である ; $proof$ = 
事実1: もしも「あの横雲は残代金合計額だ」ということは成り立てばそれは特別養子縁組である
事実2: あの横雲は残代金合計額だ

仮説: 「あの横雲は特別養子縁組でない」ということは本当である