「あの谷時点は信用すらないしそれに第三号被保険者であるということはない」ということは偽である
fact1: もしあの谷時点は後ろ暗いならば「信用すらなくてしかもそれは第三号被保険者でない」ということは偽だ fact2: あの谷時点は後ろ暗い
$facts$ = fact1: もしあの谷時点は後ろ暗いならば「信用すらなくてしかもそれは第三号被保険者でない」ということは偽だ fact2: あの谷時点は後ろ暗い ; $hypothesis$ = 「あの谷時点は信用すらないしそれに第三号被保険者であるということはない」ということは偽である ; $proof$ = 
事実1: もしあの谷時点は後ろ暗いならば「信用すらなくてしかもそれは第三号被保険者でない」ということは偽だ
事実2: あの谷時点は後ろ暗い

仮説: 「あの谷時点は信用すらないしそれに第三号被保険者であるということはない」ということは偽である