その玄武岩質マグマは塩っ辛くない
fact1: もしも「その玄武岩質マグマは耽溺しないけどそれはＷＩＴＨである」ということは成り立つということはないならば塩っ辛くない fact2: 「その玄武岩質マグマは耽溺しない一方でＷＩＴＨである」ということは事実と異なる
$facts$ = fact1: もしも「その玄武岩質マグマは耽溺しないけどそれはＷＩＴＨである」ということは成り立つということはないならば塩っ辛くない fact2: 「その玄武岩質マグマは耽溺しない一方でＷＩＴＨである」ということは事実と異なる ; $hypothesis$ = その玄武岩質マグマは塩っ辛くない ; $proof$ = 
事実1: もしも「その玄武岩質マグマは耽溺しないけどそれはＷＩＴＨである」ということは成り立つということはないならば塩っ辛くない
事実2: 「その玄武岩質マグマは耽溺しない一方でＷＩＴＨである」ということは事実と異なる

仮説: その玄武岩質マグマは塩っ辛くない