その邦画は排中律でない
fact1: 「この代表作は割り当てである」ということは誤っているということはないとすればその邦画は排中律である fact2: もし仮にその綻びが排中律だとするとその邦画は帰結する fact3: もし何らかのものは割り当てでないとすれば「それはＧＮＰだということはないし出直す」ということは偽である fact4: もしその綻びが伴い易いしかつ帰結するとするとそれは出直す fact5: もし仮にこの代表作が割り当てでない一方でそれが帰結するとすれば出直す fact6: その邦画は伴い易い fact7: 仮にこの成熟化が溶接物でないとすると多いかあるいはそれは止む無い fact8: 仮にその綻びは伴い易くないけど帰結するとしたら出直す fact9: その邦画はＧＮＰである fact10: もしも何らかのものはＧＮＰでないならば割り当てだ fact11: その綻びは伴い易いということはない一方で帰結する fact12: この代表作が割り当てでないけどＧＮＰだとしたらそれは排中律である fact13: この代表作は帰結しない fact14: もしも「その綻びは排中律だ」ということは正しいならばあの邦画は伴い易い fact15: もしその綻びが伴い易くないがそれがＧＮＰだとしたら割り当てである fact16: 仮にその山葡萄が暗しけれどそれが万歳でないとしたらこの代表作は暗しない fact17: あの大型トラックは出直す fact18: 仮に「この成熟化は多い」ということは本当ならその山葡萄は止む無くない fact19: もしも「その綻びは出直す」ということは成り立つとすればあの代表作はＧＮＰでない fact20: その綻びは伴い易くない fact21: 止む無くない物は暗しけれど万歳でない fact22: この代表作は排中律でないならば「ＧＮＰである」ということは本当である fact23: この成熟化は溶接物でない fact24: この代表作は伴い易くないけどＧＮＰであるならばそれは割り当てである
fact8 & fact11 -> int1: その綻びは出直す; int1 & fact19 -> int2: 「この代表作はＧＮＰでない」ということは確かである; fact10 -> int3: 仮にこの代表作はＧＮＰでないとすると割り当てだ; int2 & int3 -> int4: この代表作は割り当てである; int4 & fact1 -> hypothesis;
その邦画は排中律であるということはない
fact28 -> int5: もし仮にその綻びは割り当てでないならば「ＧＮＰだということはないしおまけに出直す」ということは成り立たない; fact26 -> int6: 仮にその山葡萄が止む無くないなら暗ししかつそれは万歳でない; fact25 & fact30 -> int7: この成熟化は多いかあるいは止む無いかまたは両方である;
$facts$ = fact1: 「この代表作は割り当てである」ということは誤っているということはないとすればその邦画は排中律である fact2: もし仮にその綻びが排中律だとするとその邦画は帰結する fact3: もし何らかのものは割り当てでないとすれば「それはＧＮＰだということはないし出直す」ということは偽である fact4: もしその綻びが伴い易いしかつ帰結するとするとそれは出直す fact5: もし仮にこの代表作が割り当てでない一方でそれが帰結するとすれば出直す fact6: その邦画は伴い易い fact7: 仮にこの成熟化が溶接物でないとすると多いかあるいはそれは止む無い fact8: 仮にその綻びは伴い易くないけど帰結するとしたら出直す fact9: その邦画はＧＮＰである fact10: もしも何らかのものはＧＮＰでないならば割り当てだ fact11: その綻びは伴い易いということはない一方で帰結する fact12: この代表作が割り当てでないけどＧＮＰだとしたらそれは排中律である fact13: この代表作は帰結しない fact14: もしも「その綻びは排中律だ」ということは正しいならばあの邦画は伴い易い fact15: もしその綻びが伴い易くないがそれがＧＮＰだとしたら割り当てである fact16: 仮にその山葡萄が暗しけれどそれが万歳でないとしたらこの代表作は暗しない fact17: あの大型トラックは出直す fact18: 仮に「この成熟化は多い」ということは本当ならその山葡萄は止む無くない fact19: もしも「その綻びは出直す」ということは成り立つとすればあの代表作はＧＮＰでない fact20: その綻びは伴い易くない fact21: 止む無くない物は暗しけれど万歳でない fact22: この代表作は排中律でないならば「ＧＮＰである」ということは本当である fact23: この成熟化は溶接物でない fact24: この代表作は伴い易くないけどＧＮＰであるならばそれは割り当てである ; $hypothesis$ = その邦画は排中律でない ; $proof$ = 
fact8 & fact11 -> int1: その綻びは出直す; int1 & fact19 -> int2: 「この代表作はＧＮＰでない」ということは確かである; fact10 -> int3: 仮にこの代表作はＧＮＰでないとすると割り当てだ; int2 & int3 -> int4: この代表作は割り当てである; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: 「この代表作は割り当てである」ということは誤っているということはないとすればその邦画は排中律である
事実2: もし仮にその綻びが排中律だとするとその邦画は帰結する
事実3: もし何らかのものは割り当てでないとすれば「それはＧＮＰだということはないし出直す」ということは偽である
事実4: もしその綻びが伴い易いしかつ帰結するとするとそれは出直す
事実5: もし仮にこの代表作が割り当てでない一方でそれが帰結するとすれば出直す
事実6: その邦画は伴い易い
事実7: 仮にこの成熟化が溶接物でないとすると多いかあるいはそれは止む無い
事実8: 仮にその綻びは伴い易くないけど帰結するとしたら出直す
事実9: その邦画はＧＮＰである
事実10: もしも何らかのものはＧＮＰでないならば割り当てだ
事実11: その綻びは伴い易いということはない一方で帰結する
事実12: この代表作が割り当てでないけどＧＮＰだとしたらそれは排中律である
事実13: この代表作は帰結しない
事実14: もしも「その綻びは排中律だ」ということは正しいならばあの邦画は伴い易い
事実15: もしその綻びが伴い易くないがそれがＧＮＰだとしたら割り当てである
事実16: 仮にその山葡萄が暗しけれどそれが万歳でないとしたらこの代表作は暗しない
事実17: あの大型トラックは出直す
事実18: 仮に「この成熟化は多い」ということは本当ならその山葡萄は止む無くない
事実19: もしも「その綻びは出直す」ということは成り立つとすればあの代表作はＧＮＰでない
事実20: その綻びは伴い易くない
事実21: 止む無くない物は暗しけれど万歳でない
事実22: この代表作は排中律でないならば「ＧＮＰである」ということは本当である
事実23: この成熟化は溶接物でない
事実24: この代表作は伴い易くないけどＧＮＰであるならばそれは割り当てである

仮説: その邦画は排中律でない
1. 事実8と事実11から、推論1: "その綻びは出直す"が導かれる
2. 推論1と事実19から、推論2: "「この代表作はＧＮＰでない」ということは確かである"が導かれる
3. 事実10から、推論3: "仮にこの代表作はＧＮＰでないとすると割り当てだ"が導かれる
4. 推論2と推論3から、推論4: "この代表作は割り当てである"が導かれる
5. 推論4と事実1から、仮説が否定される

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