その最高機関は対処し得る
fact1: もし仮になにかは洗顔するならそれは狙われ易くないしさらに冒険家でない fact2: この家劇は薄汚い fact3: この家劇は相容れる fact4: 仮に「その最高機関は自用地でないけどぶら下がる」ということは偽ならばそれは対処し得ない fact5: もしもとあるものは自用地でないとしたらそれは薄汚いということはなくて厳つかない fact6: 狙われ易いということはないものは冒険家でないとするとそれは浮き上がる fact7: この家劇は虫害でない fact8: 「もし仮にこの家劇が臨床実験だということはないならこの家劇は涙脆いけど虫害だということはない」ということは事実である fact9: この家劇は浮き上がるとすれば「その最高機関はたわいないということはない一方でぶら下がる」ということは誤っている fact10: もし仮にこの家劇がぶら下がるとしたらそのブランド・ポジショニングはぶら下がる fact11: この家劇は臨床実験でない fact12: 仮にこの家劇は涙脆いしその上厳ついなら「それは薄汚い」ということは成り立たない fact13: もしこの家劇は臨床実験でないとすると虫害でない fact14: 「その高分子核体は薄汚いしまた対処し得る」ということは間違いであるとすればその最高機関は薄汚くない fact15: もしその最高機関はぶら下がらないならばそれは対処し得ない fact16: もし仮にこの家劇は厳つかないとしたら「その最高機関は自用地でないがしかしぶら下がる」ということは成り立たない fact17: もし仮に「何らかのものはたわいないということはない一方でそれはぶら下がる」ということは成り立たないならそれは自用地でない fact18: ある物は薄汚くないし加えて自用地でないならそれは厳つかない fact19: もし仮にその最高機関は薄汚くないとしたら「この家劇は対処し得るし自用地だ」ということは誤りだ
fact8 & fact11 -> int1: この家劇は涙脆いけどそれは虫害でない; int1 -> int2: この家劇は涙脆い; void -> assump1: 以下のように仮定する。この家劇は厳つい; int2 & assump1 -> int3: この家劇は涙脆いしおまけに厳つい; int3 & fact12 -> int4: この家劇は薄汚くない; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この家劇は厳つかない; int6 & fact16 -> int7: 「その最高機関は自用地だということはないがぶら下がる」ということは成り立たない; int7 & fact4 -> hypothesis;
その最高機関は対処し得る
fact24 -> int8: その最高機関が自用地でないならそれは薄汚いということはなくて厳つかない; fact23 -> int9: もしも「その最高機関はたわいなくないがしかしぶら下がる」ということは成り立つということはないならば「自用地でない」ということは確かだ; fact20 -> int10: この家劇は狙われ易くないし冒険家でないとするとそれは浮き上がる; fact21 -> int11: その高分子核体が洗顔するとするとそれは狙われ易いということはないし加えて冒険家でない;
$facts$ = fact1: もし仮になにかは洗顔するならそれは狙われ易くないしさらに冒険家でない fact2: この家劇は薄汚い fact3: この家劇は相容れる fact4: 仮に「その最高機関は自用地でないけどぶら下がる」ということは偽ならばそれは対処し得ない fact5: もしもとあるものは自用地でないとしたらそれは薄汚いということはなくて厳つかない fact6: 狙われ易いということはないものは冒険家でないとするとそれは浮き上がる fact7: この家劇は虫害でない fact8: 「もし仮にこの家劇が臨床実験だということはないならこの家劇は涙脆いけど虫害だということはない」ということは事実である fact9: この家劇は浮き上がるとすれば「その最高機関はたわいないということはない一方でぶら下がる」ということは誤っている fact10: もし仮にこの家劇がぶら下がるとしたらそのブランド・ポジショニングはぶら下がる fact11: この家劇は臨床実験でない fact12: 仮にこの家劇は涙脆いしその上厳ついなら「それは薄汚い」ということは成り立たない fact13: もしこの家劇は臨床実験でないとすると虫害でない fact14: 「その高分子核体は薄汚いしまた対処し得る」ということは間違いであるとすればその最高機関は薄汚くない fact15: もしその最高機関はぶら下がらないならばそれは対処し得ない fact16: もし仮にこの家劇は厳つかないとしたら「その最高機関は自用地でないがしかしぶら下がる」ということは成り立たない fact17: もし仮に「何らかのものはたわいないということはない一方でそれはぶら下がる」ということは成り立たないならそれは自用地でない fact18: ある物は薄汚くないし加えて自用地でないならそれは厳つかない fact19: もし仮にその最高機関は薄汚くないとしたら「この家劇は対処し得るし自用地だ」ということは誤りだ ; $hypothesis$ = その最高機関は対処し得る ; $proof$ = 
fact8 & fact11 -> int1: この家劇は涙脆いけどそれは虫害でない; int1 -> int2: この家劇は涙脆い; void -> assump1: 以下のように仮定する。この家劇は厳つい; int2 & assump1 -> int3: この家劇は涙脆いしおまけに厳つい; int3 & fact12 -> int4: この家劇は薄汚くない; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この家劇は厳つかない; int6 & fact16 -> int7: 「その最高機関は自用地だということはないがぶら下がる」ということは成り立たない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは洗顔するならそれは狙われ易くないしさらに冒険家でない
事実2: この家劇は薄汚い
事実3: この家劇は相容れる
事実4: 仮に「その最高機関は自用地でないけどぶら下がる」ということは偽ならばそれは対処し得ない
事実5: もしもとあるものは自用地でないとしたらそれは薄汚いということはなくて厳つかない
事実6: 狙われ易いということはないものは冒険家でないとするとそれは浮き上がる
事実7: この家劇は虫害でない
事実8: 「もし仮にこの家劇が臨床実験だということはないならこの家劇は涙脆いけど虫害だということはない」ということは事実である
事実9: この家劇は浮き上がるとすれば「その最高機関はたわいないということはない一方でぶら下がる」ということは誤っている
事実10: もし仮にこの家劇がぶら下がるとしたらそのブランド・ポジショニングはぶら下がる
事実11: この家劇は臨床実験でない
事実12: 仮にこの家劇は涙脆いしその上厳ついなら「それは薄汚い」ということは成り立たない
事実13: もしこの家劇は臨床実験でないとすると虫害でない
事実14: 「その高分子核体は薄汚いしまた対処し得る」ということは間違いであるとすればその最高機関は薄汚くない
事実15: もしその最高機関はぶら下がらないならばそれは対処し得ない
事実16: もし仮にこの家劇は厳つかないとしたら「その最高機関は自用地でないがしかしぶら下がる」ということは成り立たない
事実17: もし仮に「何らかのものはたわいないということはない一方でそれはぶら下がる」ということは成り立たないならそれは自用地でない
事実18: ある物は薄汚くないし加えて自用地でないならそれは厳つかない
事実19: もし仮にその最高機関は薄汚くないとしたら「この家劇は対処し得るし自用地だ」ということは誤りだ

仮説: その最高機関は対処し得る
1. 事実8と事実11から、推論1: "この家劇は涙脆いけどそれは虫害でない"が導かれる
2. 推論1から、推論2: "この家劇は涙脆い"が導かれる
3. 仮定1: 以下のように仮定する。この家劇は厳つい
4. 推論2と仮定1から、推論3: "この家劇は涙脆いしおまけに厳つい"が導かれる
5. 推論3と事実12から、推論4: "この家劇は薄汚くない"が導かれる
6. 推論4と事実2から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この家劇は厳つかない"が導かれる
8. 推論6と事実16から、推論7: "「その最高機関は自用地だということはないがぶら下がる」ということは成り立たない"が導かれる
9. 推論7と事実4から、仮説が否定される

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