「この土豪は作用しない」ということは偽でない
fact1: 仮にこの土豪が日本国語大辞典だとしたら作用する fact2: この土豪は日本国語大辞典である
$facts$ = fact1: 仮にこの土豪が日本国語大辞典だとしたら作用する fact2: この土豪は日本国語大辞典である ; $hypothesis$ = 「この土豪は作用しない」ということは偽でない ; $proof$ = 
事実1: 仮にこの土豪が日本国語大辞典だとしたら作用する
事実2: この土豪は日本国語大辞典である

仮説: 「この土豪は作用しない」ということは偽でない