そのデッキ・テラスは正常域である
fact1: もし仮にこの締め切りが甘ーいかもしくはそれは再スタートしないか両方ともならば「そのデッキ・テラスは正常域でない」ということは正しい fact2: そのゼネラル・エレクトリックは緑色がかる fact3: そのデッキ・テラスが正常域であるがしかしそれが再スタートしないとすると思しい fact4: もしもそのゼネラル・エレクトリックは再スタートするがしかし甘ーくないなら「モンゴル企業である」ということは誤りだということはない fact5: 仮に思しい物が南部でないとすればそれは再スタートする fact6: この締め切りは甘ーいか再スタートするかもしくはどちらもである fact7: もしこの締め切りが再スタートしないとすればそのデッキ・テラスは正常域でない fact8: そのゼネラル・エレクトリックは甘ーくない fact9: その法式が思しいしそれは南部であるとすると再スタートする fact10: もしもその法式が再スタートするとすればあの締め切りは甘ーいかもしくは再スタートするかあるいは両方ともだ fact11: もし仮に思しい物が南部だとすればそれは再スタートする fact12: この政策体系は仏光寺である fact13: その法式は南部であるということはない fact14: この締め切りはモンゴル企業であるかあるいはそれは甘ーくないか両方だ fact15: もしその法式は明るいけど再スタートしないとすれば南部である fact16: 南部は思しいが明るいということはない fact17: そのゼネラル・エレクトリックは仏光寺だ fact18: もしそのゼネラル・エレクトリックがモンゴル企業だしさらに仏光寺ならばこの政策体系は明るくない fact19: もしこの政策体系は明るいということはないなら「その法式は南部でない」ということは正しい fact20: もしも「その法式は再スタートする」ということは本当であるならこの締め切りは甘ーいかあるいは再スタートしないかもしくは両方ともだ fact21: 「そのゼネラル・エレクトリックはモンゴル企業だ」ということは事実である fact22: そのデッキ・テラスはモンゴル企業でない fact23: 仮にこの政策体系が明るくないとしたらその法式は思しいけど南部でない fact24: その法式は呼び求めるしかつそれは甘ーい fact25: 仮にそのゼネラル・エレクトリックが正常域だということはないとするとそのデッキ・テラスは正常域だ fact26: なにかは明るくないとすると「それは仏光寺であるということはなくてまたそれはモンゴル企業だ」ということは成り立たない
fact21 & fact17 -> int1: そのゼネラル・エレクトリックはモンゴル企業であるし仏光寺である; int1 & fact18 -> int2: この政策体系は明るくない; int2 & fact23 -> int3: その法式は思しいがしかし南部でない; fact5 -> int4: その法式は思しいが南部でないとしたら再スタートする; int3 & int4 -> int5: 「その法式は再スタートする」ということは偽でない; int5 & fact20 -> int6: この締め切りは甘ーいかあるいはそれは再スタートしないかまたは両方である; int6 & fact1 -> hypothesis;
そのデッキ・テラスは正常域である
fact28 -> int7: 仮にそのゼネラル・エレクトリックは明るくないとすると「「仏光寺でなくてそれはモンゴル企業である」ということは事実だ」ということは間違っている; fact29 -> int8: もし仮にそのゼネラル・エレクトリックは南部であるならば思しい物で加えて明るくない;
$facts$ = fact1: もし仮にこの締め切りが甘ーいかもしくはそれは再スタートしないか両方ともならば「そのデッキ・テラスは正常域でない」ということは正しい fact2: そのゼネラル・エレクトリックは緑色がかる fact3: そのデッキ・テラスが正常域であるがしかしそれが再スタートしないとすると思しい fact4: もしもそのゼネラル・エレクトリックは再スタートするがしかし甘ーくないなら「モンゴル企業である」ということは誤りだということはない fact5: 仮に思しい物が南部でないとすればそれは再スタートする fact6: この締め切りは甘ーいか再スタートするかもしくはどちらもである fact7: もしこの締め切りが再スタートしないとすればそのデッキ・テラスは正常域でない fact8: そのゼネラル・エレクトリックは甘ーくない fact9: その法式が思しいしそれは南部であるとすると再スタートする fact10: もしもその法式が再スタートするとすればあの締め切りは甘ーいかもしくは再スタートするかあるいは両方ともだ fact11: もし仮に思しい物が南部だとすればそれは再スタートする fact12: この政策体系は仏光寺である fact13: その法式は南部であるということはない fact14: この締め切りはモンゴル企業であるかあるいはそれは甘ーくないか両方だ fact15: もしその法式は明るいけど再スタートしないとすれば南部である fact16: 南部は思しいが明るいということはない fact17: そのゼネラル・エレクトリックは仏光寺だ fact18: もしそのゼネラル・エレクトリックがモンゴル企業だしさらに仏光寺ならばこの政策体系は明るくない fact19: もしこの政策体系は明るいということはないなら「その法式は南部でない」ということは正しい fact20: もしも「その法式は再スタートする」ということは本当であるならこの締め切りは甘ーいかあるいは再スタートしないかもしくは両方ともだ fact21: 「そのゼネラル・エレクトリックはモンゴル企業だ」ということは事実である fact22: そのデッキ・テラスはモンゴル企業でない fact23: 仮にこの政策体系が明るくないとしたらその法式は思しいけど南部でない fact24: その法式は呼び求めるしかつそれは甘ーい fact25: 仮にそのゼネラル・エレクトリックが正常域だということはないとするとそのデッキ・テラスは正常域だ fact26: なにかは明るくないとすると「それは仏光寺であるということはなくてまたそれはモンゴル企業だ」ということは成り立たない ; $hypothesis$ = そのデッキ・テラスは正常域である ; $proof$ = 
fact21 & fact17 -> int1: そのゼネラル・エレクトリックはモンゴル企業であるし仏光寺である; int1 & fact18 -> int2: この政策体系は明るくない; int2 & fact23 -> int3: その法式は思しいがしかし南部でない; fact5 -> int4: その法式は思しいが南部でないとしたら再スタートする; int3 & int4 -> int5: 「その法式は再スタートする」ということは偽でない; int5 & fact20 -> int6: この締め切りは甘ーいかあるいはそれは再スタートしないかまたは両方である; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの締め切りが甘ーいかもしくはそれは再スタートしないか両方ともならば「そのデッキ・テラスは正常域でない」ということは正しい
事実2: そのゼネラル・エレクトリックは緑色がかる
事実3: そのデッキ・テラスが正常域であるがしかしそれが再スタートしないとすると思しい
事実4: もしもそのゼネラル・エレクトリックは再スタートするがしかし甘ーくないなら「モンゴル企業である」ということは誤りだということはない
事実5: 仮に思しい物が南部でないとすればそれは再スタートする
事実6: この締め切りは甘ーいか再スタートするかもしくはどちらもである
事実7: もしこの締め切りが再スタートしないとすればそのデッキ・テラスは正常域でない
事実8: そのゼネラル・エレクトリックは甘ーくない
事実9: その法式が思しいしそれは南部であるとすると再スタートする
事実10: もしもその法式が再スタートするとすればあの締め切りは甘ーいかもしくは再スタートするかあるいは両方ともだ
事実11: もし仮に思しい物が南部だとすればそれは再スタートする
事実12: この政策体系は仏光寺である
事実13: その法式は南部であるということはない
事実14: この締め切りはモンゴル企業であるかあるいはそれは甘ーくないか両方だ
事実15: もしその法式は明るいけど再スタートしないとすれば南部である
事実16: 南部は思しいが明るいということはない
事実17: そのゼネラル・エレクトリックは仏光寺だ
事実18: もしそのゼネラル・エレクトリックがモンゴル企業だしさらに仏光寺ならばこの政策体系は明るくない
事実19: もしこの政策体系は明るいということはないなら「その法式は南部でない」ということは正しい
事実20: もしも「その法式は再スタートする」ということは本当であるならこの締め切りは甘ーいかあるいは再スタートしないかもしくは両方ともだ
事実21: 「そのゼネラル・エレクトリックはモンゴル企業だ」ということは事実である
事実22: そのデッキ・テラスはモンゴル企業でない
事実23: 仮にこの政策体系が明るくないとしたらその法式は思しいけど南部でない
事実24: その法式は呼び求めるしかつそれは甘ーい
事実25: 仮にそのゼネラル・エレクトリックが正常域だということはないとするとそのデッキ・テラスは正常域だ
事実26: なにかは明るくないとすると「それは仏光寺であるということはなくてまたそれはモンゴル企業だ」ということは成り立たない

仮説: そのデッキ・テラスは正常域である
1. 事実21と事実17から、推論1: "そのゼネラル・エレクトリックはモンゴル企業であるし仏光寺である"が導かれる
2. 推論1と事実18から、推論2: "この政策体系は明るくない"が導かれる
3. 推論2と事実23から、推論3: "その法式は思しいがしかし南部でない"が導かれる
4. 事実5から、推論4: "その法式は思しいが南部でないとしたら再スタートする"が導かれる
5. 推論3と推論4から、推論5: "「その法式は再スタートする」ということは偽でない"が導かれる
6. 推論5と事実20から、推論6: "この締め切りは甘ーいかあるいはそれは再スタートしないかまたは両方である"が導かれる
7. 推論6と事実1から、仮説が否定される

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