この聖体拝領は経済的パフォーマンスだということはないが四媒体だ
fact1: もしもあの色画用紙が危機管理体制でないとすればこの聖体拝領は材料全てである fact2: もし「「この聖体拝領は遣り兼ねないしその上それは経済的パフォーマンスでない」ということは成り立つ」ということは偽であるとするとあのソウルは材料全てでない fact3: もし仮に「あのソウルは離陸しないしそれは動き回れない」ということは成り立たないとすればそれは途絶するということはない fact4: この聖体拝領は四媒体だ fact5: 「あのソウルは離陸しなくて動き回れない」ということは成り立たない fact6: もしその鶏笹身が仮設するとするとあの色画用紙は遣り兼ねる fact7: あの色画用紙は危機管理体制でないとしたら「この聖体拝領は危機管理体制であるかまたは材料全てでないかまたは両方である」ということは事実でない fact8: もし「何かは根深くないけれど達し谷だ」ということは成り立たないならそれは付着し易くない fact9: もしも何らかの物は危機管理体制であるなら「それは経済的パフォーマンスであるということはない一方で四媒体である」ということは確かであるということはない fact10: 仮に「ある物は危機管理体制であるかあるいはそれは材料全てだということはないかもしくは両方だ」ということは成り立つということはないとしたら経済的パフォーマンスでない fact11: 「一様性は危機管理体制だ」ということは正しい fact12: もし仮に「「途絶しない」ということは真実である」ものはあるとすれば「その鶏笹身は根深くないけどそれは達し谷である」ということは誤っている fact13: 仮にその鶏笹身がドレッシングするならばあの色画用紙は遣り兼ねる fact14: もしあの色画用紙が危機管理体制であるとしたらその鶏笹身は一様性である fact15: 「あのソウルは仮設しなくておまけに遣り兼ねらない」ということは嘘だ fact16: 仮に「あのソウルは仮設しなくておまけに遣り兼ねらない」ということは成り立たないとすると「その鶏笹身は一様性でない」ということは本当だ fact17: 付着し易くないものはドレッシングするかもしくは仮設するかまたは両方ともである
void -> assump1: 以下のように仮定する。あの色画用紙は危機管理体制だ; fact14 & assump1 -> int1: その鶏笹身は一様性だ; fact16 & fact15 -> int2: その鶏笹身は一様性でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの色画用紙は危機管理体制でない; int4 & fact7 -> int5: 「この聖体拝領は危機管理体制であるかもしくは材料全てでない」ということは嘘だ; fact10 -> int6: もしも「この聖体拝領は危機管理体制であるかそれは材料全てでない」ということは成り立たないとしたら経済的パフォーマンスでない; int5 & int6 -> int7: この聖体拝領は経済的パフォーマンスであるということはない; int7 & fact4 -> hypothesis;
「この聖体拝領は経済的パフォーマンスでないがしかし四媒体だ」ということは事実と異なる
fact19 -> int8: もしもこの聖体拝領は危機管理体制なら「経済的パフォーマンスでなくて更に四媒体である」ということは誤りだ; fact24 -> int9: もし「この聖体拝領は一様性だ」ということは成り立つとしたら「それは危機管理体制だ」ということは偽でない; fact20 -> int10: もしその鶏笹身は付着し易くないとしたら「ドレッシングするかまたはそれは仮設するかあるいは両方ともだ」ということは本当だ; fact25 -> int11: もし仮に「その鶏笹身は根深くないけどそれは達し谷だ」ということは成り立たないならそれは付着し易いということはない; fact18 & fact22 -> int12: あのソウルは途絶しない; int12 -> int13: 何らかのものは途絶するということはない; int13 & fact21 -> int14: 「その鶏笹身は根深くないけどそれは達し谷だ」ということは嘘だ; int11 & int14 -> int15: その鶏笹身は付着し易いということはない; int10 & int15 -> int16: その鶏笹身はドレッシングするかもしくは仮設する; int16 & fact26 & fact23 -> int17: あの色画用紙は遣り兼ねる; int17 -> int18: 「遣り兼ねる」ものはある;
$facts$ = fact1: もしもあの色画用紙が危機管理体制でないとすればこの聖体拝領は材料全てである fact2: もし「「この聖体拝領は遣り兼ねないしその上それは経済的パフォーマンスでない」ということは成り立つ」ということは偽であるとするとあのソウルは材料全てでない fact3: もし仮に「あのソウルは離陸しないしそれは動き回れない」ということは成り立たないとすればそれは途絶するということはない fact4: この聖体拝領は四媒体だ fact5: 「あのソウルは離陸しなくて動き回れない」ということは成り立たない fact6: もしその鶏笹身が仮設するとするとあの色画用紙は遣り兼ねる fact7: あの色画用紙は危機管理体制でないとしたら「この聖体拝領は危機管理体制であるかまたは材料全てでないかまたは両方である」ということは事実でない fact8: もし「何かは根深くないけれど達し谷だ」ということは成り立たないならそれは付着し易くない fact9: もしも何らかの物は危機管理体制であるなら「それは経済的パフォーマンスであるということはない一方で四媒体である」ということは確かであるということはない fact10: 仮に「ある物は危機管理体制であるかあるいはそれは材料全てだということはないかもしくは両方だ」ということは成り立つということはないとしたら経済的パフォーマンスでない fact11: 「一様性は危機管理体制だ」ということは正しい fact12: もし仮に「「途絶しない」ということは真実である」ものはあるとすれば「その鶏笹身は根深くないけどそれは達し谷である」ということは誤っている fact13: 仮にその鶏笹身がドレッシングするならばあの色画用紙は遣り兼ねる fact14: もしあの色画用紙が危機管理体制であるとしたらその鶏笹身は一様性である fact15: 「あのソウルは仮設しなくておまけに遣り兼ねらない」ということは嘘だ fact16: 仮に「あのソウルは仮設しなくておまけに遣り兼ねらない」ということは成り立たないとすると「その鶏笹身は一様性でない」ということは本当だ fact17: 付着し易くないものはドレッシングするかもしくは仮設するかまたは両方ともである ; $hypothesis$ = この聖体拝領は経済的パフォーマンスだということはないが四媒体だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの色画用紙は危機管理体制だ; fact14 & assump1 -> int1: その鶏笹身は一様性だ; fact16 & fact15 -> int2: その鶏笹身は一様性でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの色画用紙は危機管理体制でない; int4 & fact7 -> int5: 「この聖体拝領は危機管理体制であるかもしくは材料全てでない」ということは嘘だ; fact10 -> int6: もしも「この聖体拝領は危機管理体制であるかそれは材料全てでない」ということは成り立たないとしたら経済的パフォーマンスでない; int5 & int6 -> int7: この聖体拝領は経済的パフォーマンスであるということはない; int7 & fact4 -> hypothesis; __PROVED__
事実1: もしもあの色画用紙が危機管理体制でないとすればこの聖体拝領は材料全てである
事実2: もし「「この聖体拝領は遣り兼ねないしその上それは経済的パフォーマンスでない」ということは成り立つ」ということは偽であるとするとあのソウルは材料全てでない
事実3: もし仮に「あのソウルは離陸しないしそれは動き回れない」ということは成り立たないとすればそれは途絶するということはない
事実4: この聖体拝領は四媒体だ
事実5: 「あのソウルは離陸しなくて動き回れない」ということは成り立たない
事実6: もしその鶏笹身が仮設するとするとあの色画用紙は遣り兼ねる
事実7: あの色画用紙は危機管理体制でないとしたら「この聖体拝領は危機管理体制であるかまたは材料全てでないかまたは両方である」ということは事実でない
事実8: もし「何かは根深くないけれど達し谷だ」ということは成り立たないならそれは付着し易くない
事実9: もしも何らかの物は危機管理体制であるなら「それは経済的パフォーマンスであるということはない一方で四媒体である」ということは確かであるということはない
事実10: 仮に「ある物は危機管理体制であるかあるいはそれは材料全てだということはないかもしくは両方だ」ということは成り立つということはないとしたら経済的パフォーマンスでない
事実11: 「一様性は危機管理体制だ」ということは正しい
事実12: もし仮に「「途絶しない」ということは真実である」ものはあるとすれば「その鶏笹身は根深くないけどそれは達し谷である」ということは誤っている
事実13: 仮にその鶏笹身がドレッシングするならばあの色画用紙は遣り兼ねる
事実14: もしあの色画用紙が危機管理体制であるとしたらその鶏笹身は一様性である
事実15: 「あのソウルは仮設しなくておまけに遣り兼ねらない」ということは嘘だ
事実16: 仮に「あのソウルは仮設しなくておまけに遣り兼ねらない」ということは成り立たないとすると「その鶏笹身は一様性でない」ということは本当だ
事実17: 付着し易くないものはドレッシングするかもしくは仮設するかまたは両方ともである

仮説: この聖体拝領は経済的パフォーマンスだということはないが四媒体だ
1. 仮定1: 以下のように仮定する。あの色画用紙は危機管理体制だ
2. 事実14と仮定1から、推論1: "その鶏笹身は一様性だ"が導かれる
3. 事実16と事実15から、推論2: "その鶏笹身は一様性でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの色画用紙は危機管理体制でない"が導かれる
6. 推論4と事実7から、推論5: "「この聖体拝領は危機管理体制であるかもしくは材料全てでない」ということは嘘だ"が導かれる
7. 事実10から、推論6: "もしも「この聖体拝領は危機管理体制であるかそれは材料全てでない」ということは成り立たないとしたら経済的パフォーマンスでない"が導かれる
8. 推論5と推論6から、推論7: "この聖体拝領は経済的パフォーマンスであるということはない"が導かれる
9. 推論7と事実4から、仮説が導かれる

よって、仮説が証明されました。