あの三十一参照はハンケチであるということはない
fact1: もし仮にこのＵＳＥがめんどくないしさらにコンパクト形状でないとするとあの三十一参照はハンケチでない fact2: このＵＳＥはめんどくなくてしかもコンパクト形状でない
$facts$ = fact1: もし仮にこのＵＳＥがめんどくないしさらにコンパクト形状でないとするとあの三十一参照はハンケチでない fact2: このＵＳＥはめんどくなくてしかもコンパクト形状でない ; $hypothesis$ = あの三十一参照はハンケチであるということはない ; $proof$ = 
事実1: もし仮にこのＵＳＥがめんどくないしさらにコンパクト形状でないとするとあの三十一参照はハンケチでない
事実2: このＵＳＥはめんどくなくてしかもコンパクト形状でない

仮説: あの三十一参照はハンケチであるということはない