その包丁は生じ易くない
fact1: あの同一座標はδ相であるかまたは差し障らないかあるいは両方ともである fact2: もしもなにがしかの物は差し障らないとすると「セブンイレブンであるしまた三重合掌だ」ということは間違いである fact3: セブンイレブンが糾合するということはないとしたら起草委員会でない fact4: もしもあの秘策が起草委員会でないかまたはそれが三重合掌だとしたらその包丁は生じ易い fact5: もしあの同一座標が差し障らないとしたらそれは糾合しなくてしかもそれはセブンイレブンである fact6: 「なんらかのものはδ相だということはないかあるいはヒンドゥーであるかまたは両方ともだ」ということは間違いであるならそれは差し障らない fact7: もしもあの秘策がセブンイレブンでないとしたらその包丁はセブンイレブンでない fact8: 三重合掌はセブンイレブンだけれど糾合しない fact9: もしもあの同一座標がδ相であるとするとあの秘策は差し障らない fact10: もしなんらかのものが御届けするがしかしそれが得難しないなら糾合する fact11: あの同一座標は痛ましい fact12: もし仮に何かはセブンイレブンでないならば「糾合するし起草委員会だ」ということは間違っている fact13: 仮に何かはδ相でないなら差し障るし更に三重合掌だ fact14: もしもなにかは起草委員会でないとすれば参照しないが生じ易い fact15: 仮にあの秘策が起草委員会だとすれば御届けするけど得難しない fact16: もしあの彫刻はコレクションでないならば監視し易くない fact17: もし仮にあの秘策は糾合するとしたら「あの同一座標は糾合しないけどセブンイレブンである」ということは成り立つということはない fact18: 仮に「あの同一座標は痛ましい」ということは誤りでないとしたら「それはδ相だということはないかそれはヒンドゥーであるかどちらもだ」ということは間違いである
void -> assump1: 以下のように仮定する。あの秘策は起草委員会である; fact15 & assump1 -> int1: あの秘策は御届けするけどそれは得難しない; fact10 -> int2: もしあの秘策が御届けする一方で得難しないとすればそれは糾合する; int1 & int2 -> int3: あの秘策は糾合する; int3 & fact17 -> int4: 「あの同一座標は糾合するということはないがしかしセブンイレブンだ」ということは間違いだ; fact11 & fact18 -> int5: 「あの同一座標はδ相でないかあるいはヒンドゥーであるかどちらもである」ということは成り立たない; fact6 -> int6: もしも「あの同一座標はδ相でないかもしくはヒンドゥーであるかどちらもだ」ということは成り立たないならば差し障るということはない; int5 & int6 -> int7: 「あの同一座標は差し障らない」ということは成り立つ; fact5 & int7 -> int8: あの同一座標は糾合するということはないけれどセブンイレブンである; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの秘策は起草委員会でない; int10 -> int11: あの秘策は起草委員会でないかまたは三重合掌であるかもしくはどちらもである; int11 & fact4 -> hypothesis;
あの海善寺は参照しないけれど生じ易い
fact22 -> int12: 仮にあの海善寺が起草委員会でないとするとそれは参照しないし生じ易い; fact20 -> int13: もしもあの海善寺はセブンイレブンだけれど糾合しないなら「起草委員会でない」ということは真実だ; fact19 -> int14: もし仮にあの海善寺が三重合掌であるとしたらそれはセブンイレブンであるし糾合しない; fact21 -> int15: あの海善寺はδ相でないとしたら差し障るし三重合掌だ;
$facts$ = fact1: あの同一座標はδ相であるかまたは差し障らないかあるいは両方ともである fact2: もしもなにがしかの物は差し障らないとすると「セブンイレブンであるしまた三重合掌だ」ということは間違いである fact3: セブンイレブンが糾合するということはないとしたら起草委員会でない fact4: もしもあの秘策が起草委員会でないかまたはそれが三重合掌だとしたらその包丁は生じ易い fact5: もしあの同一座標が差し障らないとしたらそれは糾合しなくてしかもそれはセブンイレブンである fact6: 「なんらかのものはδ相だということはないかあるいはヒンドゥーであるかまたは両方ともだ」ということは間違いであるならそれは差し障らない fact7: もしもあの秘策がセブンイレブンでないとしたらその包丁はセブンイレブンでない fact8: 三重合掌はセブンイレブンだけれど糾合しない fact9: もしもあの同一座標がδ相であるとするとあの秘策は差し障らない fact10: もしなんらかのものが御届けするがしかしそれが得難しないなら糾合する fact11: あの同一座標は痛ましい fact12: もし仮に何かはセブンイレブンでないならば「糾合するし起草委員会だ」ということは間違っている fact13: 仮に何かはδ相でないなら差し障るし更に三重合掌だ fact14: もしもなにかは起草委員会でないとすれば参照しないが生じ易い fact15: 仮にあの秘策が起草委員会だとすれば御届けするけど得難しない fact16: もしあの彫刻はコレクションでないならば監視し易くない fact17: もし仮にあの秘策は糾合するとしたら「あの同一座標は糾合しないけどセブンイレブンである」ということは成り立つということはない fact18: 仮に「あの同一座標は痛ましい」ということは誤りでないとしたら「それはδ相だということはないかそれはヒンドゥーであるかどちらもだ」ということは間違いである ; $hypothesis$ = その包丁は生じ易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの秘策は起草委員会である; fact15 & assump1 -> int1: あの秘策は御届けするけどそれは得難しない; fact10 -> int2: もしあの秘策が御届けする一方で得難しないとすればそれは糾合する; int1 & int2 -> int3: あの秘策は糾合する; int3 & fact17 -> int4: 「あの同一座標は糾合するということはないがしかしセブンイレブンだ」ということは間違いだ; fact11 & fact18 -> int5: 「あの同一座標はδ相でないかあるいはヒンドゥーであるかどちらもである」ということは成り立たない; fact6 -> int6: もしも「あの同一座標はδ相でないかもしくはヒンドゥーであるかどちらもだ」ということは成り立たないならば差し障るということはない; int5 & int6 -> int7: 「あの同一座標は差し障らない」ということは成り立つ; fact5 & int7 -> int8: あの同一座標は糾合するということはないけれどセブンイレブンである; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの秘策は起草委員会でない; int10 -> int11: あの秘策は起草委員会でないかまたは三重合掌であるかもしくはどちらもである; int11 & fact4 -> hypothesis; __DISPROVED__
事実1: あの同一座標はδ相であるかまたは差し障らないかあるいは両方ともである
事実2: もしもなにがしかの物は差し障らないとすると「セブンイレブンであるしまた三重合掌だ」ということは間違いである
事実3: セブンイレブンが糾合するということはないとしたら起草委員会でない
事実4: もしもあの秘策が起草委員会でないかまたはそれが三重合掌だとしたらその包丁は生じ易い
事実5: もしあの同一座標が差し障らないとしたらそれは糾合しなくてしかもそれはセブンイレブンである
事実6: 「なんらかのものはδ相だということはないかあるいはヒンドゥーであるかまたは両方ともだ」ということは間違いであるならそれは差し障らない
事実7: もしもあの秘策がセブンイレブンでないとしたらその包丁はセブンイレブンでない
事実8: 三重合掌はセブンイレブンだけれど糾合しない
事実9: もしもあの同一座標がδ相であるとするとあの秘策は差し障らない
事実10: もしなんらかのものが御届けするがしかしそれが得難しないなら糾合する
事実11: あの同一座標は痛ましい
事実12: もし仮に何かはセブンイレブンでないならば「糾合するし起草委員会だ」ということは間違っている
事実13: 仮に何かはδ相でないなら差し障るし更に三重合掌だ
事実14: もしもなにかは起草委員会でないとすれば参照しないが生じ易い
事実15: 仮にあの秘策が起草委員会だとすれば御届けするけど得難しない
事実16: もしあの彫刻はコレクションでないならば監視し易くない
事実17: もし仮にあの秘策は糾合するとしたら「あの同一座標は糾合しないけどセブンイレブンである」ということは成り立つということはない
事実18: 仮に「あの同一座標は痛ましい」ということは誤りでないとしたら「それはδ相だということはないかそれはヒンドゥーであるかどちらもだ」ということは間違いである

仮説: その包丁は生じ易くない
1. 仮定1: 以下のように仮定する。あの秘策は起草委員会である
2. 事実15と仮定1から、推論1: "あの秘策は御届けするけどそれは得難しない"が導かれる
3. 事実10から、推論2: "もしあの秘策が御届けする一方で得難しないとすればそれは糾合する"が導かれる
4. 推論1と推論2から、推論3: "あの秘策は糾合する"が導かれる
5. 推論3と事実17から、推論4: "「あの同一座標は糾合するということはないがしかしセブンイレブンだ」ということは間違いだ"が導かれる
6. 事実11と事実18から、推論5: "「あの同一座標はδ相でないかあるいはヒンドゥーであるかどちらもである」ということは成り立たない"が導かれる
7. 事実6から、推論6: "もしも「あの同一座標はδ相でないかもしくはヒンドゥーであるかどちらもだ」ということは成り立たないならば差し障るということはない"が導かれる
8. 推論5と推論6から、推論7: "「あの同一座標は差し障らない」ということは成り立つ"が導かれる
9. 事実5と推論7から、推論8: "あの同一座標は糾合するということはないけれどセブンイレブンである"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの秘策は起草委員会でない"が導かれる
12. 推論10から、推論11: "あの秘策は起草委員会でないかまたは三重合掌であるかもしくはどちらもである"が導かれる
13. 推論11と事実4から、仮説が否定される

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