「この異星人はなはらないかあるいは隔たるか両方ともだ」ということは偽だ
fact1: 「「この異星人は訝らないか隔たるか両方ともである」ということは真実だ」ということは誤りだ fact2: もしあのデータページは訝るなら「この異星人はなはらないかそれは隔たる」ということは嘘だ fact3: あのアルコール綿は訝る fact4: あのデータページは訝る
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: 「「この異星人は訝らないか隔たるか両方ともである」ということは真実だ」ということは誤りだ fact2: もしあのデータページは訝るなら「この異星人はなはらないかそれは隔たる」ということは嘘だ fact3: あのアルコール綿は訝る fact4: あのデータページは訝る ; $hypothesis$ = 「この異星人はなはらないかあるいは隔たるか両方ともだ」ということは偽だ ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 「「この異星人は訝らないか隔たるか両方ともである」ということは真実だ」ということは誤りだ
事実2: もしあのデータページは訝るなら「この異星人はなはらないかそれは隔たる」ということは嘘だ
事実3: あのアルコール綿は訝る
事実4: あのデータページは訝る

仮説: 「この異星人はなはらないかあるいは隔たるか両方ともだ」ということは偽だ
1. 事実2と事実4から、仮説が導かれる

よって、仮説が証明されました。