「この白色申告は異文化でなくて加えて偶像でない」ということは誤りだ
fact1: もしもその運営委員会は御迎えしないとしたら「それは染色体でないしそれに癒し難くない」ということは成り立たない fact2: その社会政策論は作成出来るかあるいは卑しいかもしくは両方である fact3: もし仮に「この白色申告は逓減するということはないけれど異文化だ」ということは事実と異なるとすると「その隅肉は逓減する」ということは事実だ fact4: この白色申告がダンス音楽であるし異文化ならばこの記録用紙は逓減しない fact5: 「その運営委員会は御迎えしない」ということは嘘でない fact6: 仮に何らかの物はダンス音楽でないとすると「それは異文化だということはないしそれに偶像でない」ということは成り立たない fact7: 仮にその社会政策論が作成出来るかまたは卑しいならこの記録用紙は作成出来ない fact8: もし仮になにかはあぐねないなら偶像でまた信心深い fact9: この白色申告は偶像でない fact10: もしなにかは作成出来ないとすれば「「村八分だということはないかまたは与すないかまたは両方だ」ということは誤っていない」ということは誤りだ fact11: この白色申告はダンス音楽である fact12: 「あの君主は逓減する」ということは間違っていない fact13: 「この記録用紙は逓減する」ということは間違っていない fact14: もし仮にこの記録用紙はダンス音楽であるとすると「この白色申告は逓減しないが異文化だ」ということは間違いである fact15: もし「なにかは染色体でないしそれは癒し難くない」ということは間違いだとすれば「それは染色体である」ということは成り立つ fact16: もし「その運営委員会はあぐねないしそれに外せらない」ということは成り立たないならその隅肉はあぐねるということはない fact17: 仮になにかは逓減する一方であぐねないとすればダンス音楽でない fact18: 仮に「なにがしかの物は村八分であるということはないかあるいは与すないかもしくはどちらもである」ということは成り立たないとしたらダンス音楽だ fact19: 仮になんらかのものは染色体であるとしたら「それはあぐねなくておまけにそれは外せらない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。この白色申告は異文化である; fact11 & assump1 -> int1: この白色申告がダンス音楽だしそれは異文化だ; int1 & fact4 -> int2: この記録用紙は逓減しない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: この白色申告は異文化だということはない; int4 & fact9 -> hypothesis;
その隅肉は逓減するしまた信心深い
fact23 -> int5: 仮に「この記録用紙は村八分でないかまたは与すないかもしくはどちらもだ」ということは誤りであるならばダンス音楽だ; fact26 -> int6: もしもこの記録用紙は作成出来ないとすると「村八分でないかまたは与すないかまたは両方ともだ」ということは真実であるということはない; fact31 & fact21 -> int7: この記録用紙は作成出来ない; int6 & int7 -> int8: 「この記録用紙は村八分でないかあるいはそれは与すないかどちらもである」ということは成り立つということはない; int5 & int8 -> int9: この記録用紙はダンス音楽である; fact22 & int9 -> int10: 「この白色申告は逓減しないが異文化である」ということは間違いだ; fact28 & int10 -> int11: その隅肉は逓減する; fact20 -> int12: もしもその隅肉があぐねないとしたら偶像だし信心深い; fact25 -> int13: もし仮にその運営委員会は染色体であるとしたら「あぐねないしおまけに外せらない」ということは成り立たない; fact24 -> int14: もし「その運営委員会は染色体でなくて癒し難くない」ということは誤っているとすると染色体である; fact29 & fact27 -> int15: 「その運営委員会は染色体でないしそれは癒し難くない」ということは間違いである; int14 & int15 -> int16: その運営委員会は染色体だ; int13 & int16 -> int17: 「「その運営委員会はあぐねないしそれは外せるということはない」ということは成り立たない」ということは事実である; fact30 & int17 -> int18: その隅肉はあぐねない; int12 & int18 -> int19: その隅肉は偶像であるしそれに信心深い; int19 -> int20: その隅肉は信心深い; int11 & int20 -> hypothesis;
$facts$ = fact1: もしもその運営委員会は御迎えしないとしたら「それは染色体でないしそれに癒し難くない」ということは成り立たない fact2: その社会政策論は作成出来るかあるいは卑しいかもしくは両方である fact3: もし仮に「この白色申告は逓減するということはないけれど異文化だ」ということは事実と異なるとすると「その隅肉は逓減する」ということは事実だ fact4: この白色申告がダンス音楽であるし異文化ならばこの記録用紙は逓減しない fact5: 「その運営委員会は御迎えしない」ということは嘘でない fact6: 仮に何らかの物はダンス音楽でないとすると「それは異文化だということはないしそれに偶像でない」ということは成り立たない fact7: 仮にその社会政策論が作成出来るかまたは卑しいならこの記録用紙は作成出来ない fact8: もし仮になにかはあぐねないなら偶像でまた信心深い fact9: この白色申告は偶像でない fact10: もしなにかは作成出来ないとすれば「「村八分だということはないかまたは与すないかまたは両方だ」ということは誤っていない」ということは誤りだ fact11: この白色申告はダンス音楽である fact12: 「あの君主は逓減する」ということは間違っていない fact13: 「この記録用紙は逓減する」ということは間違っていない fact14: もし仮にこの記録用紙はダンス音楽であるとすると「この白色申告は逓減しないが異文化だ」ということは間違いである fact15: もし「なにかは染色体でないしそれは癒し難くない」ということは間違いだとすれば「それは染色体である」ということは成り立つ fact16: もし「その運営委員会はあぐねないしそれに外せらない」ということは成り立たないならその隅肉はあぐねるということはない fact17: 仮になにかは逓減する一方であぐねないとすればダンス音楽でない fact18: 仮に「なにがしかの物は村八分であるということはないかあるいは与すないかもしくはどちらもである」ということは成り立たないとしたらダンス音楽だ fact19: 仮になんらかのものは染色体であるとしたら「それはあぐねなくておまけにそれは外せらない」ということは成り立つということはない ; $hypothesis$ = 「この白色申告は異文化でなくて加えて偶像でない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この白色申告は異文化である; fact11 & assump1 -> int1: この白色申告がダンス音楽だしそれは異文化だ; int1 & fact4 -> int2: この記録用紙は逓減しない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: この白色申告は異文化だということはない; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: もしもその運営委員会は御迎えしないとしたら「それは染色体でないしそれに癒し難くない」ということは成り立たない
事実2: その社会政策論は作成出来るかあるいは卑しいかもしくは両方である
事実3: もし仮に「この白色申告は逓減するということはないけれど異文化だ」ということは事実と異なるとすると「その隅肉は逓減する」ということは事実だ
事実4: この白色申告がダンス音楽であるし異文化ならばこの記録用紙は逓減しない
事実5: 「その運営委員会は御迎えしない」ということは嘘でない
事実6: 仮に何らかの物はダンス音楽でないとすると「それは異文化だということはないしそれに偶像でない」ということは成り立たない
事実7: 仮にその社会政策論が作成出来るかまたは卑しいならこの記録用紙は作成出来ない
事実8: もし仮になにかはあぐねないなら偶像でまた信心深い
事実9: この白色申告は偶像でない
事実10: もしなにかは作成出来ないとすれば「「村八分だということはないかまたは与すないかまたは両方だ」ということは誤っていない」ということは誤りだ
事実11: この白色申告はダンス音楽である
事実12: 「あの君主は逓減する」ということは間違っていない
事実13: 「この記録用紙は逓減する」ということは間違っていない
事実14: もし仮にこの記録用紙はダンス音楽であるとすると「この白色申告は逓減しないが異文化だ」ということは間違いである
事実15: もし「なにかは染色体でないしそれは癒し難くない」ということは間違いだとすれば「それは染色体である」ということは成り立つ
事実16: もし「その運営委員会はあぐねないしそれに外せらない」ということは成り立たないならその隅肉はあぐねるということはない
事実17: 仮になにかは逓減する一方であぐねないとすればダンス音楽でない
事実18: 仮に「なにがしかの物は村八分であるということはないかあるいは与すないかもしくはどちらもである」ということは成り立たないとしたらダンス音楽だ
事実19: 仮になんらかのものは染色体であるとしたら「それはあぐねなくておまけにそれは外せらない」ということは成り立つということはない

仮説: 「この白色申告は異文化でなくて加えて偶像でない」ということは誤りだ
1. 仮定1: 以下のように仮定する。この白色申告は異文化である
2. 事実11と仮定1から、推論1: "この白色申告がダンス音楽だしそれは異文化だ"が導かれる
3. 推論1と事実4から、推論2: "この記録用紙は逓減しない"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この白色申告は異文化だということはない"が導かれる
6. 推論4と事実9から、仮説が否定される

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