そのマイラーは狂おしくない
fact1: 仮に「その心像性は感得する一方でそれは寝付けない」ということは成り立たないならそのマイラーは狂おしい fact2: 「その心像性は感得するけれどそれは寝付けるということはない」ということは成り立つということはない
$facts$ = fact1: 仮に「その心像性は感得する一方でそれは寝付けない」ということは成り立たないならそのマイラーは狂おしい fact2: 「その心像性は感得するけれどそれは寝付けるということはない」ということは成り立つということはない ; $hypothesis$ = そのマイラーは狂おしくない ; $proof$ = 
事実1: 仮に「その心像性は感得する一方でそれは寝付けない」ということは成り立たないならそのマイラーは狂おしい
事実2: 「その心像性は感得するけれどそれは寝付けるということはない」ということは成り立つということはない

仮説: そのマイラーは狂おしくない