その自家生産は七十席だ
fact1: その自家生産は金剛山だ fact2: もしも「その自家生産は金剛山だ」ということは成り立つとしたら「それは七十席だ」ということは成り立つ
$facts$ = fact1: その自家生産は金剛山だ fact2: もしも「その自家生産は金剛山だ」ということは成り立つとしたら「それは七十席だ」ということは成り立つ ; $hypothesis$ = その自家生産は七十席だ ; $proof$ = 
事実1: その自家生産は金剛山だ
事実2: もしも「その自家生産は金剛山だ」ということは成り立つとしたら「それは七十席だ」ということは成り立つ

仮説: その自家生産は七十席だ