「この婚姻外は相互行為しない」ということは間違いでない
fact1: もしあの七×九ドットが小説化すればこの婚姻外は相互行為する fact2: あの七×九ドットは小説化する fact3: そのフランコ体制は小説化する
$facts$ = fact1: もしあの七×九ドットが小説化すればこの婚姻外は相互行為する fact2: あの七×九ドットは小説化する fact3: そのフランコ体制は小説化する ; $hypothesis$ = 「この婚姻外は相互行為しない」ということは間違いでない ; $proof$ = 
事実1: もしあの七×九ドットが小説化すればこの婚姻外は相互行為する
事実2: あの七×九ドットは小説化する
事実3: そのフランコ体制は小説化する

仮説: 「この婚姻外は相互行為しない」ということは間違いでない