この粉雪は直接観察するかあるいは制圧する
fact1: この社内組織がそぼろだとするとエロい fact2: もしも「この粉雪は好条件でない」ということは間違いでないなら「この社内組織は手緩くなくてそれは許せない」ということは偽である fact3: この社内組織は塩辛くないけれど御安い fact4: 仮にこの社内組織は許せるなら「それは手緩い一方で好条件だということはない」ということは偽だ fact5: この社内組織は許せないなら「塩辛くないが御安い」ということは誤りだ fact6: もし何らかのものは許せるなら「それは手緩くなくて好条件である」ということは成り立たない fact7: もし「この社内組織は許せなくて加えて御安くない」ということは真実でないとしたら直接観察する fact8: 仮にこの社内組織は年末調整制度でないならば「移り易くないが浮つく」ということは事実と異なる fact9: 仮に「なにかは許せる」ということは成り立つとするとそれは把握し辛い fact10: 「この社内組織はエロい」ということは確かだとすればこの粉雪は直接観察する fact11: 「「手緩いということはなくてかつ許せない」ということは偽である」ものがあるとするとあのルーラーは許せる fact12: その水切りはそぼろでないしそれはエロくない fact13: 「もし何らかのものは許せるとすると「それは手緩くないし好条件だということはない」ということは誤っている」ということは事実である fact14: 「この社内組織は塩辛くて御安い」ということは真実でない fact15: もし仮にこの社内組織は許せないとすると「「それは塩辛くてさらに御安い」ということは正しい」ということは成り立たない fact16: もしも「「手緩いしそれに許せる」ということは成り立たない」ものがあるならこの粉雪は許せない fact17: 「この社内組織は手緩いけどそれは好条件だということはない」ということは成り立つということはない fact18: この社内組織は塩辛くない fact19: 「なんらかの物は手緩くなくてその上好条件だということはない」ということは事実だということはないとしたらそぼろである fact20: 「この社内組織は手緩くないが好条件だ」ということは成り立たない fact21: もし仮になんらかのものは許せるとしたら「手緩いがしかし好条件でない」ということは成り立たない fact22: もしも「この社内組織は許せない」ということは嘘であるならば「手緩くないしさらに好条件である」ということは事実と異なる
void -> assump1: 以下のように仮定する。この社内組織は許せない; fact5 & assump1 -> int1: 「この社内組織は塩辛いということはないが御安い」ということは成り立たない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この社内組織は許せる」ということは真実だ; fact13 -> int4: もし仮にこの社内組織は許せるとすれば「手緩いということはなくてかつ好条件でない」ということは成り立たない; int3 & int4 -> int5: 「この社内組織は手緩くないし加えてそれは好条件であるということはない」ということは成り立たない; fact19 -> int6: 仮に「この社内組織は手緩くなくて更に好条件だということはない」ということは事実であるということはないならばそれはそぼろである; int5 & int6 -> int7: この社内組織はそぼろである; int7 & fact1 -> int8: この社内組織はエロい; int8 & fact10 -> int9: この粉雪は直接観察する; int9 -> hypothesis;
「この粉雪は直接観察するかもしくはそれは制圧するかまたは両方である」ということは間違っている
$facts$ = fact1: この社内組織がそぼろだとするとエロい fact2: もしも「この粉雪は好条件でない」ということは間違いでないなら「この社内組織は手緩くなくてそれは許せない」ということは偽である fact3: この社内組織は塩辛くないけれど御安い fact4: 仮にこの社内組織は許せるなら「それは手緩い一方で好条件だということはない」ということは偽だ fact5: この社内組織は許せないなら「塩辛くないが御安い」ということは誤りだ fact6: もし何らかのものは許せるなら「それは手緩くなくて好条件である」ということは成り立たない fact7: もし「この社内組織は許せなくて加えて御安くない」ということは真実でないとしたら直接観察する fact8: 仮にこの社内組織は年末調整制度でないならば「移り易くないが浮つく」ということは事実と異なる fact9: 仮に「なにかは許せる」ということは成り立つとするとそれは把握し辛い fact10: 「この社内組織はエロい」ということは確かだとすればこの粉雪は直接観察する fact11: 「「手緩いということはなくてかつ許せない」ということは偽である」ものがあるとするとあのルーラーは許せる fact12: その水切りはそぼろでないしそれはエロくない fact13: 「もし何らかのものは許せるとすると「それは手緩くないし好条件だということはない」ということは誤っている」ということは事実である fact14: 「この社内組織は塩辛くて御安い」ということは真実でない fact15: もし仮にこの社内組織は許せないとすると「「それは塩辛くてさらに御安い」ということは正しい」ということは成り立たない fact16: もしも「「手緩いしそれに許せる」ということは成り立たない」ものがあるならこの粉雪は許せない fact17: 「この社内組織は手緩いけどそれは好条件だということはない」ということは成り立つということはない fact18: この社内組織は塩辛くない fact19: 「なんらかの物は手緩くなくてその上好条件だということはない」ということは事実だということはないとしたらそぼろである fact20: 「この社内組織は手緩くないが好条件だ」ということは成り立たない fact21: もし仮になんらかのものは許せるとしたら「手緩いがしかし好条件でない」ということは成り立たない fact22: もしも「この社内組織は許せない」ということは嘘であるならば「手緩くないしさらに好条件である」ということは事実と異なる ; $hypothesis$ = この粉雪は直接観察するかあるいは制圧する ; $proof$ = 
void -> assump1: 以下のように仮定する。この社内組織は許せない; fact5 & assump1 -> int1: 「この社内組織は塩辛いということはないが御安い」ということは成り立たない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この社内組織は許せる」ということは真実だ; fact13 -> int4: もし仮にこの社内組織は許せるとすれば「手緩いということはなくてかつ好条件でない」ということは成り立たない; int3 & int4 -> int5: 「この社内組織は手緩くないし加えてそれは好条件であるということはない」ということは成り立たない; fact19 -> int6: 仮に「この社内組織は手緩くなくて更に好条件だということはない」ということは事実であるということはないならばそれはそぼろである; int5 & int6 -> int7: この社内組織はそぼろである; int7 & fact1 -> int8: この社内組織はエロい; int8 & fact10 -> int9: この粉雪は直接観察する; int9 -> hypothesis; __PROVED__
事実1: この社内組織がそぼろだとするとエロい
事実2: もしも「この粉雪は好条件でない」ということは間違いでないなら「この社内組織は手緩くなくてそれは許せない」ということは偽である
事実3: この社内組織は塩辛くないけれど御安い
事実4: 仮にこの社内組織は許せるなら「それは手緩い一方で好条件だということはない」ということは偽だ
事実5: この社内組織は許せないなら「塩辛くないが御安い」ということは誤りだ
事実6: もし何らかのものは許せるなら「それは手緩くなくて好条件である」ということは成り立たない
事実7: もし「この社内組織は許せなくて加えて御安くない」ということは真実でないとしたら直接観察する
事実8: 仮にこの社内組織は年末調整制度でないならば「移り易くないが浮つく」ということは事実と異なる
事実9: 仮に「なにかは許せる」ということは成り立つとするとそれは把握し辛い
事実10: 「この社内組織はエロい」ということは確かだとすればこの粉雪は直接観察する
事実11: 「「手緩いということはなくてかつ許せない」ということは偽である」ものがあるとするとあのルーラーは許せる
事実12: その水切りはそぼろでないしそれはエロくない
事実13: 「もし何らかのものは許せるとすると「それは手緩くないし好条件だということはない」ということは誤っている」ということは事実である
事実14: 「この社内組織は塩辛くて御安い」ということは真実でない
事実15: もし仮にこの社内組織は許せないとすると「「それは塩辛くてさらに御安い」ということは正しい」ということは成り立たない
事実16: もしも「「手緩いしそれに許せる」ということは成り立たない」ものがあるならこの粉雪は許せない
事実17: 「この社内組織は手緩いけどそれは好条件だということはない」ということは成り立つということはない
事実18: この社内組織は塩辛くない
事実19: 「なんらかの物は手緩くなくてその上好条件だということはない」ということは事実だということはないとしたらそぼろである
事実20: 「この社内組織は手緩くないが好条件だ」ということは成り立たない
事実21: もし仮になんらかのものは許せるとしたら「手緩いがしかし好条件でない」ということは成り立たない
事実22: もしも「この社内組織は許せない」ということは嘘であるならば「手緩くないしさらに好条件である」ということは事実と異なる

仮説: この粉雪は直接観察するかあるいは制圧する
1. 仮定1: 以下のように仮定する。この社内組織は許せない
2. 事実5と仮定1から、推論1: "「この社内組織は塩辛いということはないが御安い」ということは成り立たない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この社内組織は許せる」ということは真実だ"が導かれる
5. 事実13から、推論4: "もし仮にこの社内組織は許せるとすれば「手緩いということはなくてかつ好条件でない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「この社内組織は手緩くないし加えてそれは好条件であるということはない」ということは成り立たない"が導かれる
7. 事実19から、推論6: "仮に「この社内組織は手緩くなくて更に好条件だということはない」ということは事実であるということはないならばそれはそぼろである"が導かれる
8. 推論5と推論6から、推論7: "この社内組織はそぼろである"が導かれる
9. 推論7と事実1から、推論8: "この社内組織はエロい"が導かれる
10. 推論8と事実10から、推論9: "この粉雪は直接観察する"が導かれる
11. 推論9から、仮説が導かれる

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