「あの数値群はコインでない」ということは事実だ
fact1: 仮にあの数値群が酸っぱくないとすればコインだ fact2: あの数値群は酸っぱくない
$facts$ = fact1: 仮にあの数値群が酸っぱくないとすればコインだ fact2: あの数値群は酸っぱくない ; $hypothesis$ = 「あの数値群はコインでない」ということは事実だ ; $proof$ = 
事実1: 仮にあの数値群が酸っぱくないとすればコインだ
事実2: あの数値群は酸っぱくない

仮説: 「あの数値群はコインでない」ということは事実だ