このコラージュは絞殺しない
fact1: 仮になにかは否定し難いということはないとしたらそれは和睦でなくて更に浪費しない fact2: もし仮にあの時間切れが喜ばしいけど究明しないならばあの家督相続は受け辛くない fact3: もし仮にあの時間切れは後発品でないならば「「このコラージュは後発品でないし和睦でない」ということは誤りだ」ということは事実である fact4: あのシーア派が否定し難いならば後発品である fact5: あの時間切れは究明しない fact6: 「何らかの物は後発品でなくて和睦でない」ということは確かでないとすると浪費する fact7: 仮にあるものが浪費するとすればそれは絞殺する fact8: あの時間切れが後発品だとすればそれは喜ばしいしおまけにそれは究明するということはない fact9: 「あのシーア派は否定し難い」ということは正しいならばあの家督相続は受け辛い fact10: もしなんらかの物が和睦でないとしたら後発品であるかまたは受け辛いかもしくは両方ともだ fact11: もしこの家督相続は後発品であるがしかし受け辛くないとすると「このコラージュは和睦でない」ということは成り立つ fact12: すべての物は否定し難い
void -> assump1: 以下のように仮定する。あの時間切れは後発品だ; fact8 & assump1 -> int1: あの時間切れは喜ばしい一方で究明しない; int1 & fact2 -> int2: この家督相続は受け辛くない; fact12 -> int3: あのシーア派は否定し難い; fact9 & int3 -> int4: 「この家督相続は受け辛い」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの時間切れは後発品でない; int6 & fact3 -> int7: 「このコラージュは後発品でないし更に和睦でない」ということは嘘である; fact6 -> int8: 「このコラージュは後発品でなくてまた和睦でない」ということは事実と異なるとするとそれは浪費する; int7 & int8 -> int9: このコラージュは浪費する; fact7 -> int10: もし「このコラージュは浪費する」ということは成り立つとすれば絞殺する; int9 & int10 -> hypothesis;
このコラージュは絞殺しない
fact14 -> int11: もしもこの家督相続が否定し難くないとすると和睦でなくて加えて浪費しない; fact13 -> int12: あの時間切れは和睦でないとしたら後発品であるかあるいは受け辛い;
$facts$ = fact1: 仮になにかは否定し難いということはないとしたらそれは和睦でなくて更に浪費しない fact2: もし仮にあの時間切れが喜ばしいけど究明しないならばあの家督相続は受け辛くない fact3: もし仮にあの時間切れは後発品でないならば「「このコラージュは後発品でないし和睦でない」ということは誤りだ」ということは事実である fact4: あのシーア派が否定し難いならば後発品である fact5: あの時間切れは究明しない fact6: 「何らかの物は後発品でなくて和睦でない」ということは確かでないとすると浪費する fact7: 仮にあるものが浪費するとすればそれは絞殺する fact8: あの時間切れが後発品だとすればそれは喜ばしいしおまけにそれは究明するということはない fact9: 「あのシーア派は否定し難い」ということは正しいならばあの家督相続は受け辛い fact10: もしなんらかの物が和睦でないとしたら後発品であるかまたは受け辛いかもしくは両方ともだ fact11: もしこの家督相続は後発品であるがしかし受け辛くないとすると「このコラージュは和睦でない」ということは成り立つ fact12: すべての物は否定し難い ; $hypothesis$ = このコラージュは絞殺しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの時間切れは後発品だ; fact8 & assump1 -> int1: あの時間切れは喜ばしい一方で究明しない; int1 & fact2 -> int2: この家督相続は受け辛くない; fact12 -> int3: あのシーア派は否定し難い; fact9 & int3 -> int4: 「この家督相続は受け辛い」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの時間切れは後発品でない; int6 & fact3 -> int7: 「このコラージュは後発品でないし更に和睦でない」ということは嘘である; fact6 -> int8: 「このコラージュは後発品でなくてまた和睦でない」ということは事実と異なるとするとそれは浪費する; int7 & int8 -> int9: このコラージュは浪費する; fact7 -> int10: もし「このコラージュは浪費する」ということは成り立つとすれば絞殺する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮になにかは否定し難いということはないとしたらそれは和睦でなくて更に浪費しない
事実2: もし仮にあの時間切れが喜ばしいけど究明しないならばあの家督相続は受け辛くない
事実3: もし仮にあの時間切れは後発品でないならば「「このコラージュは後発品でないし和睦でない」ということは誤りだ」ということは事実である
事実4: あのシーア派が否定し難いならば後発品である
事実5: あの時間切れは究明しない
事実6: 「何らかの物は後発品でなくて和睦でない」ということは確かでないとすると浪費する
事実7: 仮にあるものが浪費するとすればそれは絞殺する
事実8: あの時間切れが後発品だとすればそれは喜ばしいしおまけにそれは究明するということはない
事実9: 「あのシーア派は否定し難い」ということは正しいならばあの家督相続は受け辛い
事実10: もしなんらかの物が和睦でないとしたら後発品であるかまたは受け辛いかもしくは両方ともだ
事実11: もしこの家督相続は後発品であるがしかし受け辛くないとすると「このコラージュは和睦でない」ということは成り立つ
事実12: すべての物は否定し難い

仮説: このコラージュは絞殺しない
1. 仮定1: 以下のように仮定する。あの時間切れは後発品だ
2. 事実8と仮定1から、推論1: "あの時間切れは喜ばしい一方で究明しない"が導かれる
3. 推論1と事実2から、推論2: "この家督相続は受け辛くない"が導かれる
4. 事実12から、推論3: "あのシーア派は否定し難い"が導かれる
5. 事実9と推論3から、推論4: "「この家督相続は受け辛い」ということは成り立つ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの時間切れは後発品でない"が導かれる
8. 推論6と事実3から、推論7: "「このコラージュは後発品でないし更に和睦でない」ということは嘘である"が導かれる
9. 事実6から、推論8: "「このコラージュは後発品でなくてまた和睦でない」ということは事実と異なるとするとそれは浪費する"が導かれる
10. 推論7と推論8から、推論9: "このコラージュは浪費する"が導かれる
11. 事実7から、推論10: "もし「このコラージュは浪費する」ということは成り立つとすれば絞殺する"が導かれる
12. 推論9と推論10から、仮説が否定される

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