あの管制員はＫＡＳＴだということはないしそれに改宗しない
fact1: あらゆる物はＫＡＳＴであるということはなくて更に改宗しない
$facts$ = fact1: あらゆる物はＫＡＳＴであるということはなくて更に改宗しない ; $hypothesis$ = あの管制員はＫＡＳＴだということはないしそれに改宗しない ; $proof$ = 
事実1: あらゆる物はＫＡＳＴであるということはなくて更に改宗しない

仮説: あの管制員はＫＡＳＴだということはないしそれに改宗しない