「そのオーロラは前払い金でないししかもそれは座頭鯨でない」ということは成り立たない
fact1: もしもそのオーロラは小蜂でないとすると「それは前払い金でしかもそれは座頭鯨でない」ということは間違いである fact2: もしなにがしかのものは移動性でなくて結び直さないとしたら「灯し難くない」ということは成り立つ fact3: 「「そのオーロラは前払い金だけれど座頭鯨でない」ということは間違いでない」ということは間違いだ fact4: 「「おっきくないかあるいはスプリントバックログでないかあるいは両方ともである」ということは事実と異なる」ものはある fact5: もしもそのオーロラは小蜂でないならば「前払い金でなくて座頭鯨でない」ということは間違いだ fact6: そのオーロラは小蜂でない fact7: もし何らかのものが渋谷教諭でないとすれば移動性だということはないし結び直さない fact8: もし仮に「あのハッピー・エンドは細長くておまけにそれは悟れる」ということは事実と異なるならあのイニシアティブは小蜂でない fact9: もし何らかの物は灯し難くないとしたら「細長くてまた悟れる」ということは成り立たない
fact5 & fact6 -> hypothesis;
そのオーロラは前払い金でなくてかつ座頭鯨であるということはない
fact11 -> int1: もしあのハッピー・エンドは灯し難くないならば「細長くて加えて悟れる」ということは事実でない; fact13 -> int2: 仮に「あのハッピー・エンドは移動性でなくてしかも結び直すということはない」ということは成り立てば「それは灯し難くない」ということは成り立つ; fact12 -> int3: 「もし仮にあのハッピー・エンドが渋谷教諭でないとしたらあのハッピー・エンドは移動性でないし結び直さない」ということは本当である;
$facts$ = fact1: もしもそのオーロラは小蜂でないとすると「それは前払い金でしかもそれは座頭鯨でない」ということは間違いである fact2: もしなにがしかのものは移動性でなくて結び直さないとしたら「灯し難くない」ということは成り立つ fact3: 「「そのオーロラは前払い金だけれど座頭鯨でない」ということは間違いでない」ということは間違いだ fact4: 「「おっきくないかあるいはスプリントバックログでないかあるいは両方ともである」ということは事実と異なる」ものはある fact5: もしもそのオーロラは小蜂でないならば「前払い金でなくて座頭鯨でない」ということは間違いだ fact6: そのオーロラは小蜂でない fact7: もし何らかのものが渋谷教諭でないとすれば移動性だということはないし結び直さない fact8: もし仮に「あのハッピー・エンドは細長くておまけにそれは悟れる」ということは事実と異なるならあのイニシアティブは小蜂でない fact9: もし何らかの物は灯し難くないとしたら「細長くてまた悟れる」ということは成り立たない ; $hypothesis$ = 「そのオーロラは前払い金でないししかもそれは座頭鯨でない」ということは成り立たない ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: もしもそのオーロラは小蜂でないとすると「それは前払い金でしかもそれは座頭鯨でない」ということは間違いである
事実2: もしなにがしかのものは移動性でなくて結び直さないとしたら「灯し難くない」ということは成り立つ
事実3: 「「そのオーロラは前払い金だけれど座頭鯨でない」ということは間違いでない」ということは間違いだ
事実4: 「「おっきくないかあるいはスプリントバックログでないかあるいは両方ともである」ということは事実と異なる」ものはある
事実5: もしもそのオーロラは小蜂でないならば「前払い金でなくて座頭鯨でない」ということは間違いだ
事実6: そのオーロラは小蜂でない
事実7: もし何らかのものが渋谷教諭でないとすれば移動性だということはないし結び直さない
事実8: もし仮に「あのハッピー・エンドは細長くておまけにそれは悟れる」ということは事実と異なるならあのイニシアティブは小蜂でない
事実9: もし何らかの物は灯し難くないとしたら「細長くてまた悟れる」ということは成り立たない

仮説: 「そのオーロラは前払い金でないししかもそれは座頭鯨でない」ということは成り立たない
1. 事実5と事実6から、仮説が導かれる

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