あの決まりはされ易い
fact1: もしも「「あの決まりは痴呆症状でないしさらに自主的活動でない」ということは誤りだ」ということは確かだとすればされ易い fact2: もしも「この濃度分布は盟約しないし更に五．四運動でない」ということは偽であるとすればそれは苦学しない fact3: もしもこの濃度分布は苦学しないとすると「あの決まりは痴呆症状であるということはないしその上自主的活動でない」ということは成り立たない fact4: もし仮になにがしかのものは会合部であるならば「それは盟約しなくてまた五．四運動であるということはない」ということは事実と異なる fact5: もしもあのサービス・レベルが痴呆症状だとしたらあの駝鳥は痴呆症状である fact6: 仮にあの駝鳥が痴呆症状だとすればあの決まりは自主的活動だ fact7: 「この濃度分布は会合部だ」ということは偽でない fact8: 自主的活動は会合部だ fact9: もしあの決まりは会合部だとしたら「その航海中は当たり易くないしその上それは苦学しない」ということは事実と異なる fact10: 何かは会合部だとすると「盟約しないけど五．四運動だ」ということは偽である
fact4 -> int1: もし仮にこの濃度分布は会合部だとすると「それが盟約しないしさらに五．四運動でない」ということは誤っている; int1 & fact7 -> int2: 「この濃度分布は盟約しないしそれは五．四運動でない」ということは嘘だ; int2 & fact2 -> int3: この濃度分布は苦学するということはない; int3 & fact3 -> int4: 「あの決まりは痴呆症状であるということはないしおまけに自主的活動でない」ということは本当でない; int4 & fact1 -> hypothesis;
「その航海中は当たり易くないしそれは苦学しない」ということは誤っている
fact14 -> int5: 仮に「あの決まりは自主的活動である」ということは真実だとすると会合部である;
$facts$ = fact1: もしも「「あの決まりは痴呆症状でないしさらに自主的活動でない」ということは誤りだ」ということは確かだとすればされ易い fact2: もしも「この濃度分布は盟約しないし更に五．四運動でない」ということは偽であるとすればそれは苦学しない fact3: もしもこの濃度分布は苦学しないとすると「あの決まりは痴呆症状であるということはないしその上自主的活動でない」ということは成り立たない fact4: もし仮になにがしかのものは会合部であるならば「それは盟約しなくてまた五．四運動であるということはない」ということは事実と異なる fact5: もしもあのサービス・レベルが痴呆症状だとしたらあの駝鳥は痴呆症状である fact6: 仮にあの駝鳥が痴呆症状だとすればあの決まりは自主的活動だ fact7: 「この濃度分布は会合部だ」ということは偽でない fact8: 自主的活動は会合部だ fact9: もしあの決まりは会合部だとしたら「その航海中は当たり易くないしその上それは苦学しない」ということは事実と異なる fact10: 何かは会合部だとすると「盟約しないけど五．四運動だ」ということは偽である ; $hypothesis$ = あの決まりはされ易い ; $proof$ = 
fact4 -> int1: もし仮にこの濃度分布は会合部だとすると「それが盟約しないしさらに五．四運動でない」ということは誤っている; int1 & fact7 -> int2: 「この濃度分布は盟約しないしそれは五．四運動でない」ということは嘘だ; int2 & fact2 -> int3: この濃度分布は苦学するということはない; int3 & fact3 -> int4: 「あの決まりは痴呆症状であるということはないしおまけに自主的活動でない」ということは本当でない; int4 & fact1 -> hypothesis; __PROVED__
事実1: もしも「「あの決まりは痴呆症状でないしさらに自主的活動でない」ということは誤りだ」ということは確かだとすればされ易い
事実2: もしも「この濃度分布は盟約しないし更に五．四運動でない」ということは偽であるとすればそれは苦学しない
事実3: もしもこの濃度分布は苦学しないとすると「あの決まりは痴呆症状であるということはないしその上自主的活動でない」ということは成り立たない
事実4: もし仮になにがしかのものは会合部であるならば「それは盟約しなくてまた五．四運動であるということはない」ということは事実と異なる
事実5: もしもあのサービス・レベルが痴呆症状だとしたらあの駝鳥は痴呆症状である
事実6: 仮にあの駝鳥が痴呆症状だとすればあの決まりは自主的活動だ
事実7: 「この濃度分布は会合部だ」ということは偽でない
事実8: 自主的活動は会合部だ
事実9: もしあの決まりは会合部だとしたら「その航海中は当たり易くないしその上それは苦学しない」ということは事実と異なる
事実10: 何かは会合部だとすると「盟約しないけど五．四運動だ」ということは偽である

仮説: あの決まりはされ易い
1. 事実4から、推論1: "もし仮にこの濃度分布は会合部だとすると「それが盟約しないしさらに五．四運動でない」ということは誤っている"が導かれる
2. 推論1と事実7から、推論2: "「この濃度分布は盟約しないしそれは五．四運動でない」ということは嘘だ"が導かれる
3. 推論2と事実2から、推論3: "この濃度分布は苦学するということはない"が導かれる
4. 推論3と事実3から、推論4: "「あの決まりは痴呆症状であるということはないしおまけに自主的活動でない」ということは本当でない"が導かれる
5. 推論4と事実1から、仮説が導かれる

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