この比内鶏は遍歴する
fact1: 「肌寒いものは転生者だ」ということは成り立つ fact2: 仮に「なんらかのものは肌寒くないけれど宗教的信条だ」ということは誤りであるとすると農業協同組合法でない fact3: もし「この二十四時間未満は回し始めないし農業協同組合法でない」ということは事実であるとするとそれは宗教的信条だ fact4: この比内鶏が前年同月比でないけどそれは鳥島開拓であるとしたらそれは疲れ易くない fact5: とあるものは転生者ならば「「豪商でないしそれは極まりない」ということは誤りでない」ということは偽だ fact6: もし仮にこの二十四時間未満が宗教的信条だとするとあの理系は肌寒い fact7: 仮にこの比内鶏が肌寒くないとしたらそれは遍歴する fact8: あの理系は埃っぽくない fact9: もしもとあるものが埃っぽいということはないとすると豪商でないしまた極まりない fact10: もし仮に「この二十四時間未満は回し始めないししかも農業協同組合法でない」ということは嘘であるならばあの比内鶏は遍歴しない fact11: あの理系が豪商でなくてそれは極まりないということはないとすると「この二十四時間未満は転生者である」ということは正しい fact12: もし「この二十四時間未満は転生者だ」ということは成り立つとしたら「この長岡宮式瓦は肌寒くない一方でそれは宗教的信条だ」ということは偽だ fact13: もしあるものは疲れ易くないとすれば「それは治療焦点化するしおまけにそれは埃っぽい」ということは誤りだ fact14: もし仮に何らかの物が遍歴するということはないとすればそれは豪商でないしかつ極まりなくない
void -> assump1: 以下のように仮定する。この二十四時間未満は回し始めなくてそれに農業協同組合法でない; fact3 & assump1 -> int1: この二十四時間未満は宗教的信条である; int1 & fact6 -> int2: 「あの理系は肌寒い」ということは確かだ; fact1 -> int3: 仮にあの理系が肌寒いならば転生者だ; int2 & int3 -> int4: あの理系は転生者である; fact5 -> int5: もしもあの理系は転生者であるとすると「豪商でないけど極まりない」ということは事実だということはない; int4 & int5 -> int6: 「あの理系は豪商でないが極まりない」ということは事実でない; fact9 -> int7: もしもあの理系が埃っぽくないとしたら豪商でないしさらにそれは極まりない; int7 & fact8 -> int8: あの理系は豪商であるということはない一方でそれは極まりない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この二十四時間未満は回し始めないし更に農業協同組合法でない」ということは誤りだ; int10 & fact10 -> hypothesis;
この長岡宮式瓦は農業協同組合法でない
fact17 -> int11: もし「この長岡宮式瓦は肌寒くないがしかし宗教的信条である」ということは偽だとしたらそれは農業協同組合法でない; fact20 -> int12: もしもあの理系が遍歴しないならばそれは豪商でないしおまけに極まりなくない; fact19 -> int13: もしもこの比内鶏は疲れ易くないとすると「それは治療焦点化するししかも埃っぽい」ということは誤りだ;
$facts$ = fact1: 「肌寒いものは転生者だ」ということは成り立つ fact2: 仮に「なんらかのものは肌寒くないけれど宗教的信条だ」ということは誤りであるとすると農業協同組合法でない fact3: もし「この二十四時間未満は回し始めないし農業協同組合法でない」ということは事実であるとするとそれは宗教的信条だ fact4: この比内鶏が前年同月比でないけどそれは鳥島開拓であるとしたらそれは疲れ易くない fact5: とあるものは転生者ならば「「豪商でないしそれは極まりない」ということは誤りでない」ということは偽だ fact6: もし仮にこの二十四時間未満が宗教的信条だとするとあの理系は肌寒い fact7: 仮にこの比内鶏が肌寒くないとしたらそれは遍歴する fact8: あの理系は埃っぽくない fact9: もしもとあるものが埃っぽいということはないとすると豪商でないしまた極まりない fact10: もし仮に「この二十四時間未満は回し始めないししかも農業協同組合法でない」ということは嘘であるならばあの比内鶏は遍歴しない fact11: あの理系が豪商でなくてそれは極まりないということはないとすると「この二十四時間未満は転生者である」ということは正しい fact12: もし「この二十四時間未満は転生者だ」ということは成り立つとしたら「この長岡宮式瓦は肌寒くない一方でそれは宗教的信条だ」ということは偽だ fact13: もしあるものは疲れ易くないとすれば「それは治療焦点化するしおまけにそれは埃っぽい」ということは誤りだ fact14: もし仮に何らかの物が遍歴するということはないとすればそれは豪商でないしかつ極まりなくない ; $hypothesis$ = この比内鶏は遍歴する ; $proof$ = 
void -> assump1: 以下のように仮定する。この二十四時間未満は回し始めなくてそれに農業協同組合法でない; fact3 & assump1 -> int1: この二十四時間未満は宗教的信条である; int1 & fact6 -> int2: 「あの理系は肌寒い」ということは確かだ; fact1 -> int3: 仮にあの理系が肌寒いならば転生者だ; int2 & int3 -> int4: あの理系は転生者である; fact5 -> int5: もしもあの理系は転生者であるとすると「豪商でないけど極まりない」ということは事実だということはない; int4 & int5 -> int6: 「あの理系は豪商でないが極まりない」ということは事実でない; fact9 -> int7: もしもあの理系が埃っぽくないとしたら豪商でないしさらにそれは極まりない; int7 & fact8 -> int8: あの理系は豪商であるということはない一方でそれは極まりない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この二十四時間未満は回し始めないし更に農業協同組合法でない」ということは誤りだ; int10 & fact10 -> hypothesis; __DISPROVED__
事実1: 「肌寒いものは転生者だ」ということは成り立つ
事実2: 仮に「なんらかのものは肌寒くないけれど宗教的信条だ」ということは誤りであるとすると農業協同組合法でない
事実3: もし「この二十四時間未満は回し始めないし農業協同組合法でない」ということは事実であるとするとそれは宗教的信条だ
事実4: この比内鶏が前年同月比でないけどそれは鳥島開拓であるとしたらそれは疲れ易くない
事実5: とあるものは転生者ならば「「豪商でないしそれは極まりない」ということは誤りでない」ということは偽だ
事実6: もし仮にこの二十四時間未満が宗教的信条だとするとあの理系は肌寒い
事実7: 仮にこの比内鶏が肌寒くないとしたらそれは遍歴する
事実8: あの理系は埃っぽくない
事実9: もしもとあるものが埃っぽいということはないとすると豪商でないしまた極まりない
事実10: もし仮に「この二十四時間未満は回し始めないししかも農業協同組合法でない」ということは嘘であるならばあの比内鶏は遍歴しない
事実11: あの理系が豪商でなくてそれは極まりないということはないとすると「この二十四時間未満は転生者である」ということは正しい
事実12: もし「この二十四時間未満は転生者だ」ということは成り立つとしたら「この長岡宮式瓦は肌寒くない一方でそれは宗教的信条だ」ということは偽だ
事実13: もしあるものは疲れ易くないとすれば「それは治療焦点化するしおまけにそれは埃っぽい」ということは誤りだ
事実14: もし仮に何らかの物が遍歴するということはないとすればそれは豪商でないしかつ極まりなくない

仮説: この比内鶏は遍歴する
1. 仮定1: 以下のように仮定する。この二十四時間未満は回し始めなくてそれに農業協同組合法でない
2. 事実3と仮定1から、推論1: "この二十四時間未満は宗教的信条である"が導かれる
3. 推論1と事実6から、推論2: "「あの理系は肌寒い」ということは確かだ"が導かれる
4. 事実1から、推論3: "仮にあの理系が肌寒いならば転生者だ"が導かれる
5. 推論2と推論3から、推論4: "あの理系は転生者である"が導かれる
6. 事実5から、推論5: "もしもあの理系は転生者であるとすると「豪商でないけど極まりない」ということは事実だということはない"が導かれる
7. 推論4と推論5から、推論6: "「あの理系は豪商でないが極まりない」ということは事実でない"が導かれる
8. 事実9から、推論7: "もしもあの理系が埃っぽくないとしたら豪商でないしさらにそれは極まりない"が導かれる
9. 推論7と事実8から、推論8: "あの理系は豪商であるということはない一方でそれは極まりない"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「この二十四時間未満は回し始めないし更に農業協同組合法でない」ということは誤りだ"が導かれる
12. 推論10と事実10から、仮説が否定される

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