あのアムネスティは日曜・祝日であるけれどヘマタイトでない
fact1: 「あのアムネスティはヘマタイトでない」ということは成り立つ fact2: あのアムネスティは日曜・祝日だ
$facts$ = fact1: 「あのアムネスティはヘマタイトでない」ということは成り立つ fact2: あのアムネスティは日曜・祝日だ ; $hypothesis$ = あのアムネスティは日曜・祝日であるけれどヘマタイトでない ; $proof$ = 
事実1: 「あのアムネスティはヘマタイトでない」ということは成り立つ
事実2: あのアムネスティは日曜・祝日だ

仮説: あのアムネスティは日曜・祝日であるけれどヘマタイトでない