その後天は区別し易くない
fact1: 「その後天は回れるし加えて殺める」ということは成り立たない fact2: 仮に「その後天は区別し易くないがそれは参加し易い」ということは嘘だとするとそれは封入しない fact3: もし仮に「あの高層は封入するということはない一方で漏れ易い」ということは成り立たないとしたら参加し易くない fact4: あの高層は殺めるがそれは目まぐるしかない fact5: あの高層は染みでない fact6: あの高層はマイ・オウン・タイムであるけれど素晴らしくない fact7: 仮にあの高層が目まぐるしかなくて参加し易くないとするとその後天は区別し易い fact8: 「あの高層は封入するということはないけれど漏れ易い」ということは成り立たない
fact3 & fact8 -> int1: あの高層は参加し易くない; fact4 -> int2: 「あの高層は目まぐるしいということはない」ということは事実だ; int1 & int2 -> int3: あの高層は目まぐるしかないしさらに参加し易くない; int3 & fact7 -> hypothesis;
$facts$ = fact1: 「その後天は回れるし加えて殺める」ということは成り立たない fact2: 仮に「その後天は区別し易くないがそれは参加し易い」ということは嘘だとするとそれは封入しない fact3: もし仮に「あの高層は封入するということはない一方で漏れ易い」ということは成り立たないとしたら参加し易くない fact4: あの高層は殺めるがそれは目まぐるしかない fact5: あの高層は染みでない fact6: あの高層はマイ・オウン・タイムであるけれど素晴らしくない fact7: 仮にあの高層が目まぐるしかなくて参加し易くないとするとその後天は区別し易い fact8: 「あの高層は封入するということはないけれど漏れ易い」ということは成り立たない ; $hypothesis$ = その後天は区別し易くない ; $proof$ = 
fact3 & fact8 -> int1: あの高層は参加し易くない; fact4 -> int2: 「あの高層は目まぐるしいということはない」ということは事実だ; int1 & int2 -> int3: あの高層は目まぐるしかないしさらに参加し易くない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 「その後天は回れるし加えて殺める」ということは成り立たない
事実2: 仮に「その後天は区別し易くないがそれは参加し易い」ということは嘘だとするとそれは封入しない
事実3: もし仮に「あの高層は封入するということはない一方で漏れ易い」ということは成り立たないとしたら参加し易くない
事実4: あの高層は殺めるがそれは目まぐるしかない
事実5: あの高層は染みでない
事実6: あの高層はマイ・オウン・タイムであるけれど素晴らしくない
事実7: 仮にあの高層が目まぐるしかなくて参加し易くないとするとその後天は区別し易い
事実8: 「あの高層は封入するということはないけれど漏れ易い」ということは成り立たない

仮説: その後天は区別し易くない
1. 事実3と事実8から、推論1: "あの高層は参加し易くない"が導かれる
2. 事実4から、推論2: "「あの高層は目まぐるしいということはない」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "あの高層は目まぐるしかないしさらに参加し易くない"が導かれる
4. 推論3と事実7から、仮説が否定される

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