「「あの生息域は塩揉みしないし加えて確実視しない」ということは確かだ」ということは間違っている
fact1: あのネガティブスクリーンは読み語る fact2: もしもあのネガティブスクリーンが読み語ればそれは丸い fact3: もし仮にあのネガティブスクリーンは塩揉みしないとしたら「「あの生息域は塩揉みするということはなくておまけに確実視しない」ということは間違っている」ということは本当である fact4: あのネガティブスクリーンが読み語らないならば丸くないしさらにそれは遜色無くない fact5: あの催眠状態は読み語る fact6: 「「補完するかあるいは分散化しないかまたは両方だ」ということは事実と異なる」ものはある fact7: 仮に遜色無くない物は丸いなら「塩揉みしない」ということは正しい fact8: 仮に「「補完するか分散化しないか両方だ」ということは成り立たない」物があるとするとあのネガティブスクリーンは遜色無いということはない fact9: もしもあのネガティブスクリーンが丸くないしおまけに遜色無くないとしたらあの生息域は遜色無くない
fact6 & fact8 -> int1: あのネガティブスクリーンは遜色無くない; fact2 & fact1 -> int2: あのネガティブスクリーンは丸い; int1 & int2 -> int3: あのネガティブスクリーンは遜色無くない一方で丸い; fact7 -> int4: 「あのネガティブスクリーンは遜色無いということはないけど丸い」ということは確かであるならばそれは塩揉みするということはない; int3 & int4 -> int5: あのネガティブスクリーンは塩揉みするということはない; int5 & fact3 -> hypothesis;
あの生息域は塩揉みしないし確実視しない
$facts$ = fact1: あのネガティブスクリーンは読み語る fact2: もしもあのネガティブスクリーンが読み語ればそれは丸い fact3: もし仮にあのネガティブスクリーンは塩揉みしないとしたら「「あの生息域は塩揉みするということはなくておまけに確実視しない」ということは間違っている」ということは本当である fact4: あのネガティブスクリーンが読み語らないならば丸くないしさらにそれは遜色無くない fact5: あの催眠状態は読み語る fact6: 「「補完するかあるいは分散化しないかまたは両方だ」ということは事実と異なる」ものはある fact7: 仮に遜色無くない物は丸いなら「塩揉みしない」ということは正しい fact8: 仮に「「補完するか分散化しないか両方だ」ということは成り立たない」物があるとするとあのネガティブスクリーンは遜色無いということはない fact9: もしもあのネガティブスクリーンが丸くないしおまけに遜色無くないとしたらあの生息域は遜色無くない ; $hypothesis$ = 「「あの生息域は塩揉みしないし加えて確実視しない」ということは確かだ」ということは間違っている ; $proof$ = 
fact6 & fact8 -> int1: あのネガティブスクリーンは遜色無くない; fact2 & fact1 -> int2: あのネガティブスクリーンは丸い; int1 & int2 -> int3: あのネガティブスクリーンは遜色無くない一方で丸い; fact7 -> int4: 「あのネガティブスクリーンは遜色無いということはないけど丸い」ということは確かであるならばそれは塩揉みするということはない; int3 & int4 -> int5: あのネガティブスクリーンは塩揉みするということはない; int5 & fact3 -> hypothesis; __PROVED__
事実1: あのネガティブスクリーンは読み語る
事実2: もしもあのネガティブスクリーンが読み語ればそれは丸い
事実3: もし仮にあのネガティブスクリーンは塩揉みしないとしたら「「あの生息域は塩揉みするということはなくておまけに確実視しない」ということは間違っている」ということは本当である
事実4: あのネガティブスクリーンが読み語らないならば丸くないしさらにそれは遜色無くない
事実5: あの催眠状態は読み語る
事実6: 「「補完するかあるいは分散化しないかまたは両方だ」ということは事実と異なる」ものはある
事実7: 仮に遜色無くない物は丸いなら「塩揉みしない」ということは正しい
事実8: 仮に「「補完するか分散化しないか両方だ」ということは成り立たない」物があるとするとあのネガティブスクリーンは遜色無いということはない
事実9: もしもあのネガティブスクリーンが丸くないしおまけに遜色無くないとしたらあの生息域は遜色無くない

仮説: 「「あの生息域は塩揉みしないし加えて確実視しない」ということは確かだ」ということは間違っている
1. 事実6と事実8から、推論1: "あのネガティブスクリーンは遜色無くない"が導かれる
2. 事実2と事実1から、推論2: "あのネガティブスクリーンは丸い"が導かれる
3. 推論1と推論2から、推論3: "あのネガティブスクリーンは遜色無くない一方で丸い"が導かれる
4. 事実7から、推論4: "「あのネガティブスクリーンは遜色無いということはないけど丸い」ということは確かであるならばそれは塩揉みするということはない"が導かれる
5. 推論3と推論4から、推論5: "あのネガティブスクリーンは塩揉みするということはない"が導かれる
6. 推論5と事実3から、仮説が導かれる

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