「その地域社会全体は生み易い」ということは成り立つ
fact1: あの妖精は吹雪くなら「あの滞在中は難し過ぎない」ということは間違いだ fact2: 仮に「「近付き易くなくて加えてスライスするということはない」ということは偽である」物があるならあの妖精は滲炭しない fact3: もしある物はＰＬであるとすると「それは近付き易くないしそれはスライスするということはない」ということは成り立たない fact4: 仮にあの妖精が対処するとするとあの滞在中は難し過ぎる fact5: その地域社会全体はぶっとくないけれど難し過ぎる fact6: もし仮にとあるものが滲炭しないならばそれは対処するかまたは吹雪くか両方だ fact7: その地域社会全体は難し過ぎれば生み易くない fact8: 「その鼻粘膜はＰＬである」ということは誤りでない
fact5 -> int1: 「その地域社会全体は難し過ぎる」ということは確かである; int1 & fact7 -> hypothesis;
「その地域社会全体は生み易いということはない」ということは偽である
fact12 -> int2: もしあの妖精が滲炭しないならばそれは対処するか吹雪く; fact9 -> int3: その鼻粘膜はＰＬなら「近付き易くないしまたスライスしない」ということは嘘だ; int3 & fact14 -> int4: 「その鼻粘膜は近付き易くなくてまたスライスしない」ということは嘘である; int4 -> int5: 「「近付き易くなくてかつスライスしない」ということは事実と異なる」物はある; int5 & fact13 -> int6: あの妖精は滲炭しない; int2 & int6 -> int7: あの妖精は対処するかもしくはそれは吹雪く; int7 & fact11 & fact10 -> int8: あの滞在中は難し過ぎる; int8 -> int9: 「難し過ぎる」ものはある;
$facts$ = fact1: あの妖精は吹雪くなら「あの滞在中は難し過ぎない」ということは間違いだ fact2: 仮に「「近付き易くなくて加えてスライスするということはない」ということは偽である」物があるならあの妖精は滲炭しない fact3: もしある物はＰＬであるとすると「それは近付き易くないしそれはスライスするということはない」ということは成り立たない fact4: 仮にあの妖精が対処するとするとあの滞在中は難し過ぎる fact5: その地域社会全体はぶっとくないけれど難し過ぎる fact6: もし仮にとあるものが滲炭しないならばそれは対処するかまたは吹雪くか両方だ fact7: その地域社会全体は難し過ぎれば生み易くない fact8: 「その鼻粘膜はＰＬである」ということは誤りでない ; $hypothesis$ = 「その地域社会全体は生み易い」ということは成り立つ ; $proof$ = 
fact5 -> int1: 「その地域社会全体は難し過ぎる」ということは確かである; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: あの妖精は吹雪くなら「あの滞在中は難し過ぎない」ということは間違いだ
事実2: 仮に「「近付き易くなくて加えてスライスするということはない」ということは偽である」物があるならあの妖精は滲炭しない
事実3: もしある物はＰＬであるとすると「それは近付き易くないしそれはスライスするということはない」ということは成り立たない
事実4: 仮にあの妖精が対処するとするとあの滞在中は難し過ぎる
事実5: その地域社会全体はぶっとくないけれど難し過ぎる
事実6: もし仮にとあるものが滲炭しないならばそれは対処するかまたは吹雪くか両方だ
事実7: その地域社会全体は難し過ぎれば生み易くない
事実8: 「その鼻粘膜はＰＬである」ということは誤りでない

仮説: 「その地域社会全体は生み易い」ということは成り立つ
1. 事実5から、推論1: "「その地域社会全体は難し過ぎる」ということは確かである"が導かれる
2. 推論1と事実7から、仮説が否定される

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