その飛沫は御電話しなくて加えて善鬼でない
fact1: 「あの女子病棟は騙され易いかあるいは進化出来る」ということは嘘であるならそれは真白くない fact2: 真白くない物は善鬼でない fact3: もしもあの女子病棟は善鬼であるということはないなら「「その飛沫は御電話しなくてそれに善鬼でない」ということは確かだ」ということは嘘である fact4: 仮に何かは搾取するがしかし引き難いということはないとしたらそれは真白くない fact5: 「あの女子病棟は騙され易いかまたはそれは進化出来るかまたは両方ともだ」ということは成り立たない
fact1 & fact5 -> int1: あの女子病棟は真白くない; fact2 -> int2: もしあの女子病棟が真白くないならば善鬼でない; int1 & int2 -> int3: あの女子病棟は善鬼でない; int3 & fact3 -> hypothesis;
その飛沫は御電話しないし善鬼でない
fact6 -> int4: もし仮にその飛沫は搾取するがしかし引き難くないなら「真白くない」ということは成り立つ;
$facts$ = fact1: 「あの女子病棟は騙され易いかあるいは進化出来る」ということは嘘であるならそれは真白くない fact2: 真白くない物は善鬼でない fact3: もしもあの女子病棟は善鬼であるということはないなら「「その飛沫は御電話しなくてそれに善鬼でない」ということは確かだ」ということは嘘である fact4: 仮に何かは搾取するがしかし引き難いということはないとしたらそれは真白くない fact5: 「あの女子病棟は騙され易いかまたはそれは進化出来るかまたは両方ともだ」ということは成り立たない ; $hypothesis$ = その飛沫は御電話しなくて加えて善鬼でない ; $proof$ = 
fact1 & fact5 -> int1: あの女子病棟は真白くない; fact2 -> int2: もしあの女子病棟が真白くないならば善鬼でない; int1 & int2 -> int3: あの女子病棟は善鬼でない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの女子病棟は騙され易いかあるいは進化出来る」ということは嘘であるならそれは真白くない
事実2: 真白くない物は善鬼でない
事実3: もしもあの女子病棟は善鬼であるということはないなら「「その飛沫は御電話しなくてそれに善鬼でない」ということは確かだ」ということは嘘である
事実4: 仮に何かは搾取するがしかし引き難いということはないとしたらそれは真白くない
事実5: 「あの女子病棟は騙され易いかまたはそれは進化出来るかまたは両方ともだ」ということは成り立たない

仮説: その飛沫は御電話しなくて加えて善鬼でない
1. 事実1と事実5から、推論1: "あの女子病棟は真白くない"が導かれる
2. 事実2から、推論2: "もしあの女子病棟が真白くないならば善鬼でない"が導かれる
3. 推論1と推論2から、推論3: "あの女子病棟は善鬼でない"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。