この晒しは苦土であるということはない
fact1: もしこの晒しはグリコサミノグリカンであるならばそれは苦土だ fact2: この晒しはグリコサミノグリカンだ
$facts$ = fact1: もしこの晒しはグリコサミノグリカンであるならばそれは苦土だ fact2: この晒しはグリコサミノグリカンだ ; $hypothesis$ = この晒しは苦土であるということはない ; $proof$ = 
事実1: もしこの晒しはグリコサミノグリカンであるならばそれは苦土だ
事実2: この晒しはグリコサミノグリカンだ

仮説: この晒しは苦土であるということはない