このコンセプト・インはタルトでない
fact1: 「このパイロット達は伝票テーブルであるかあるいはそれは指揮所であるか両方ともである」ということは成り立たない fact2: もしも「このパイロット達は伝票テーブルであるかそれは指揮所であるかまたは両方である」ということは成り立たないとすればこのコンセプト・インはタルトでない
$facts$ = fact1: 「このパイロット達は伝票テーブルであるかあるいはそれは指揮所であるか両方ともである」ということは成り立たない fact2: もしも「このパイロット達は伝票テーブルであるかそれは指揮所であるかまたは両方である」ということは成り立たないとすればこのコンセプト・インはタルトでない ; $hypothesis$ = このコンセプト・インはタルトでない ; $proof$ = 
事実1: 「このパイロット達は伝票テーブルであるかあるいはそれは指揮所であるか両方ともである」ということは成り立たない
事実2: もしも「このパイロット達は伝票テーブルであるかそれは指揮所であるかまたは両方である」ということは成り立たないとすればこのコンセプト・インはタルトでない

仮説: このコンセプト・インはタルトでない