そのルートディレクトリは正イオンでない
fact1: 「「糸降りであるということはないが気持ち良い」ということは間違っている」ものはある fact2: 仮に「「糸降りでなくてそれに気持ち良い」ということは誤りである」ものがあるとすればそのルートディレクトリは正イオンでない
$facts$ = fact1: 「「糸降りであるということはないが気持ち良い」ということは間違っている」ものはある fact2: 仮に「「糸降りでなくてそれに気持ち良い」ということは誤りである」ものがあるとすればそのルートディレクトリは正イオンでない ; $hypothesis$ = そのルートディレクトリは正イオンでない ; $proof$ = 
事実1: 「「糸降りであるということはないが気持ち良い」ということは間違っている」ものはある
事実2: 仮に「「糸降りでなくてそれに気持ち良い」ということは誤りである」ものがあるとすればそのルートディレクトリは正イオンでない

仮説: そのルートディレクトリは正イオンでない