「そのハロタンはＡＴＰでなくてそれに寝苦しくない」ということは成り立つということはない
fact1: そのハロタンは雇用機会でない fact2: もしもそのハロタンは雇用機会でないとすると「ＡＴＰでないし更に寝苦しくない」ということは誤りだ
$facts$ = fact1: そのハロタンは雇用機会でない fact2: もしもそのハロタンは雇用機会でないとすると「ＡＴＰでないし更に寝苦しくない」ということは誤りだ ; $hypothesis$ = 「そのハロタンはＡＴＰでなくてそれに寝苦しくない」ということは成り立つということはない ; $proof$ = 
事実1: そのハロタンは雇用機会でない
事実2: もしもそのハロタンは雇用機会でないとすると「ＡＴＰでないし更に寝苦しくない」ということは誤りだ

仮説: 「そのハロタンはＡＴＰでなくてそれに寝苦しくない」ということは成り立つということはない