あの巫女舞は照会する
fact1: 「あの巫女舞は肺胞でないし覚え難くない」ということは正しくない fact2: 仮に「あの巫女舞は肺胞でないしまた覚え難いということはない」ということは事実と異なるとするとそれは照会しない
$facts$ = fact1: 「あの巫女舞は肺胞でないし覚え難くない」ということは正しくない fact2: 仮に「あの巫女舞は肺胞でないしまた覚え難いということはない」ということは事実と異なるとするとそれは照会しない ; $hypothesis$ = あの巫女舞は照会する ; $proof$ = 
事実1: 「あの巫女舞は肺胞でないし覚え難くない」ということは正しくない
事実2: 仮に「あの巫女舞は肺胞でないしまた覚え難いということはない」ということは事実と異なるとするとそれは照会しない

仮説: あの巫女舞は照会する