この弦楽は御仁政でないかそれは恭しくないか両方ともだ
fact1: あの評価プロセスは眩しい fact2: もし仮にあの評価プロセスが分有するとすればそれは暮らし易い fact3: この中世圏は御仁政でない fact4: もしもあの評価プロセスは暮らし易いし眩しいとしたら「それは恭しくない」ということは間違いでない fact5: あの評価プロセスは分有する fact6: 仮に「あの環境情報は泥濘むしさらに眩しい」ということは誤っているとすればあの評価プロセスは眩しくない fact7: もしもなにかは分有しないとすると御仁政でないかもしくは恭しくないかあるいは両方ともである fact8: なんらかのものが眩しくないとすれば暮らし易くて分有する fact9: この弦楽は御仁政である fact10: もし仮にあの評価プロセスは恭しくないならば「この弦楽は御仁政でないかそれは恭しくない」ということは誤りだ
fact2 & fact5 -> int1: あの評価プロセスは暮らし易い; int1 & fact1 -> int2: あの評価プロセスは暮らし易くて眩しい; int2 & fact4 -> int3: あの評価プロセスは恭しくない; int3 & fact10 -> hypothesis;
そのソナタは暮らし易い
fact11 -> int4: もし仮に「そのソナタは眩しくない」ということは成り立つとすれば暮らし易くて加えて分有する;
$facts$ = fact1: あの評価プロセスは眩しい fact2: もし仮にあの評価プロセスが分有するとすればそれは暮らし易い fact3: この中世圏は御仁政でない fact4: もしもあの評価プロセスは暮らし易いし眩しいとしたら「それは恭しくない」ということは間違いでない fact5: あの評価プロセスは分有する fact6: 仮に「あの環境情報は泥濘むしさらに眩しい」ということは誤っているとすればあの評価プロセスは眩しくない fact7: もしもなにかは分有しないとすると御仁政でないかもしくは恭しくないかあるいは両方ともである fact8: なんらかのものが眩しくないとすれば暮らし易くて分有する fact9: この弦楽は御仁政である fact10: もし仮にあの評価プロセスは恭しくないならば「この弦楽は御仁政でないかそれは恭しくない」ということは誤りだ ; $hypothesis$ = この弦楽は御仁政でないかそれは恭しくないか両方ともだ ; $proof$ = 
fact2 & fact5 -> int1: あの評価プロセスは暮らし易い; int1 & fact1 -> int2: あの評価プロセスは暮らし易くて眩しい; int2 & fact4 -> int3: あの評価プロセスは恭しくない; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: あの評価プロセスは眩しい
事実2: もし仮にあの評価プロセスが分有するとすればそれは暮らし易い
事実3: この中世圏は御仁政でない
事実4: もしもあの評価プロセスは暮らし易いし眩しいとしたら「それは恭しくない」ということは間違いでない
事実5: あの評価プロセスは分有する
事実6: 仮に「あの環境情報は泥濘むしさらに眩しい」ということは誤っているとすればあの評価プロセスは眩しくない
事実7: もしもなにかは分有しないとすると御仁政でないかもしくは恭しくないかあるいは両方ともである
事実8: なんらかのものが眩しくないとすれば暮らし易くて分有する
事実9: この弦楽は御仁政である
事実10: もし仮にあの評価プロセスは恭しくないならば「この弦楽は御仁政でないかそれは恭しくない」ということは誤りだ

仮説: この弦楽は御仁政でないかそれは恭しくないか両方ともだ
1. 事実2と事実5から、推論1: "あの評価プロセスは暮らし易い"が導かれる
2. 推論1と事実1から、推論2: "あの評価プロセスは暮らし易くて眩しい"が導かれる
3. 推論2と事実4から、推論3: "あの評価プロセスは恭しくない"が導かれる
4. 推論3と事実10から、仮説が否定される

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