その手工業は涼しいということはない
fact1: もし仮に「何かは時系列分析でないかもしくは注する」ということは成り立たないなら手荒いということはない fact2: もしもこの道徳的生活は試薬特級であるなら「せせこましい」ということは真実だ fact3: もし仮に「「その手工業は凍え死ぬということはないかあるいは昆虫化石だ」ということは成り立つ」ということは確かだということはないならば御付き合い頂くということはない fact4: もし「なんらかの物はせせこましい」ということは事実と異ならないならスポーツカイトであるということはないしそれは内定しない fact5: もしも何かは女子アナでないならそれは座り易くなくてまた軟らかくない fact6: もしもあのサザンは昆虫化石でないならばそれは時系列分析である fact7: もしも「あのサザンは昆虫化石でないかあるいは時系列分析であるかあるいは両方ともである」ということは成り立たないとすれば涼しかない fact8: もし仮にこの型構造が女子アナだし頑是無いならばあの外側は女子アナでない fact9: この型構造は頑是無い fact10: 仮になんらかの物はスポーツカイトであるということはないとすればそれは上塗りするか麗しいかあるいはどちらもである fact11: 仮にとある物が座り易いということはないとすればそれは手荒くて昆虫化石だ fact12: もしもこの道徳的生活が上塗りするとすればあの外側は芳しい fact13: 「あのサザンは昆虫化石でない」ということは事実と異なるということはない fact14: あの直腸は誘起するけれど動き得ない fact15: もし仮にあのサザンは昆虫化石でないとすれば「それは時系列分析でないか注するかあるいは両方ともだ」ということは事実と異なる fact16: もしこの外側は涼しかないとすれば「その手工業は涼しかない」ということは成り立つ fact17: もしもあの直腸が誘起するけど動き得ないとすればこの道徳的生活は試薬特級だ fact18: 手荒い物は涼しい fact19: あのサザンが手荒くないならばあの手工業は手荒くてさらに芳しい fact20: この型構造は女子アナだ fact21: その手工業は昆虫化石でない
fact1 -> int1: 「あのサザンは時系列分析でないかあるいは注するか両方ともである」ということは間違っていればそれは手荒くない; fact15 & fact13 -> int2: 「あのサザンは時系列分析でないかもしくはそれは注するかあるいは両方ともだ」ということは偽だ; int1 & int2 -> int3: あのサザンは手荒くない; int3 & fact19 -> int4: その手工業は手荒くて芳しい; int4 -> int5: その手工業は手荒い; fact18 -> int6: もしもその手工業が手荒いとしたら涼しい; int5 & int6 -> hypothesis;
その手工業は涼しかない
fact28 -> int7: この外側が座り易くないとすればそれは手荒くてまたそれは昆虫化石である; fact33 -> int8: この外側は女子アナでないならばそれは座り易くないしそれに軟らかいということはない; fact30 & fact22 -> int9: この型構造は女子アナで頑是無い; fact29 & int9 -> int10: 「この外側は女子アナでない」ということは誤りでない; int8 & int10 -> int11: この外側は座り易くなくて軟らかくない; int11 -> int12: この外側は座り易いということはない; int7 & int12 -> int13: この外側は手荒いし昆虫化石である; int13 -> int14: この外側は手荒い; fact23 -> int15: もしも「この道徳的生活はスポーツカイトだということはない」ということは成り立つとすればそれは上塗りするかあるいは麗しいかもしくは両方だ; fact31 -> int16: この道徳的生活がせせこましいとしたらそれはスポーツカイトでなくて加えてそれは内定しない; fact25 & fact27 -> int17: この道徳的生活は試薬特級だ; fact26 & int17 -> int18: この道徳的生活はせせこましい; int16 & int18 -> int19: この道徳的生活はスポーツカイトでなくてかつそれは内定しない; int19 -> int20: この道徳的生活はスポーツカイトでない; int15 & int20 -> int21: この道徳的生活は上塗りするかまたは麗しいかあるいは両方だ;
$facts$ = fact1: もし仮に「何かは時系列分析でないかもしくは注する」ということは成り立たないなら手荒いということはない fact2: もしもこの道徳的生活は試薬特級であるなら「せせこましい」ということは真実だ fact3: もし仮に「「その手工業は凍え死ぬということはないかあるいは昆虫化石だ」ということは成り立つ」ということは確かだということはないならば御付き合い頂くということはない fact4: もし「なんらかの物はせせこましい」ということは事実と異ならないならスポーツカイトであるということはないしそれは内定しない fact5: もしも何かは女子アナでないならそれは座り易くなくてまた軟らかくない fact6: もしもあのサザンは昆虫化石でないならばそれは時系列分析である fact7: もしも「あのサザンは昆虫化石でないかあるいは時系列分析であるかあるいは両方ともである」ということは成り立たないとすれば涼しかない fact8: もし仮にこの型構造が女子アナだし頑是無いならばあの外側は女子アナでない fact9: この型構造は頑是無い fact10: 仮になんらかの物はスポーツカイトであるということはないとすればそれは上塗りするか麗しいかあるいはどちらもである fact11: 仮にとある物が座り易いということはないとすればそれは手荒くて昆虫化石だ fact12: もしもこの道徳的生活が上塗りするとすればあの外側は芳しい fact13: 「あのサザンは昆虫化石でない」ということは事実と異なるということはない fact14: あの直腸は誘起するけれど動き得ない fact15: もし仮にあのサザンは昆虫化石でないとすれば「それは時系列分析でないか注するかあるいは両方ともだ」ということは事実と異なる fact16: もしこの外側は涼しかないとすれば「その手工業は涼しかない」ということは成り立つ fact17: もしもあの直腸が誘起するけど動き得ないとすればこの道徳的生活は試薬特級だ fact18: 手荒い物は涼しい fact19: あのサザンが手荒くないならばあの手工業は手荒くてさらに芳しい fact20: この型構造は女子アナだ fact21: その手工業は昆虫化石でない ; $hypothesis$ = その手工業は涼しいということはない ; $proof$ = 
fact1 -> int1: 「あのサザンは時系列分析でないかあるいは注するか両方ともである」ということは間違っていればそれは手荒くない; fact15 & fact13 -> int2: 「あのサザンは時系列分析でないかもしくはそれは注するかあるいは両方ともだ」ということは偽だ; int1 & int2 -> int3: あのサザンは手荒くない; int3 & fact19 -> int4: その手工業は手荒くて芳しい; int4 -> int5: その手工業は手荒い; fact18 -> int6: もしもその手工業が手荒いとしたら涼しい; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮に「何かは時系列分析でないかもしくは注する」ということは成り立たないなら手荒いということはない
事実2: もしもこの道徳的生活は試薬特級であるなら「せせこましい」ということは真実だ
事実3: もし仮に「「その手工業は凍え死ぬということはないかあるいは昆虫化石だ」ということは成り立つ」ということは確かだということはないならば御付き合い頂くということはない
事実4: もし「なんらかの物はせせこましい」ということは事実と異ならないならスポーツカイトであるということはないしそれは内定しない
事実5: もしも何かは女子アナでないならそれは座り易くなくてまた軟らかくない
事実6: もしもあのサザンは昆虫化石でないならばそれは時系列分析である
事実7: もしも「あのサザンは昆虫化石でないかあるいは時系列分析であるかあるいは両方ともである」ということは成り立たないとすれば涼しかない
事実8: もし仮にこの型構造が女子アナだし頑是無いならばあの外側は女子アナでない
事実9: この型構造は頑是無い
事実10: 仮になんらかの物はスポーツカイトであるということはないとすればそれは上塗りするか麗しいかあるいはどちらもである
事実11: 仮にとある物が座り易いということはないとすればそれは手荒くて昆虫化石だ
事実12: もしもこの道徳的生活が上塗りするとすればあの外側は芳しい
事実13: 「あのサザンは昆虫化石でない」ということは事実と異なるということはない
事実14: あの直腸は誘起するけれど動き得ない
事実15: もし仮にあのサザンは昆虫化石でないとすれば「それは時系列分析でないか注するかあるいは両方ともだ」ということは事実と異なる
事実16: もしこの外側は涼しかないとすれば「その手工業は涼しかない」ということは成り立つ
事実17: もしもあの直腸が誘起するけど動き得ないとすればこの道徳的生活は試薬特級だ
事実18: 手荒い物は涼しい
事実19: あのサザンが手荒くないならばあの手工業は手荒くてさらに芳しい
事実20: この型構造は女子アナだ
事実21: その手工業は昆虫化石でない

仮説: その手工業は涼しいということはない
1. 事実1から、推論1: "「あのサザンは時系列分析でないかあるいは注するか両方ともである」ということは間違っていればそれは手荒くない"が導かれる
2. 事実15と事実13から、推論2: "「あのサザンは時系列分析でないかもしくはそれは注するかあるいは両方ともだ」ということは偽だ"が導かれる
3. 推論1と推論2から、推論3: "あのサザンは手荒くない"が導かれる
4. 推論3と事実19から、推論4: "その手工業は手荒くて芳しい"が導かれる
5. 推論4から、推論5: "その手工業は手荒い"が導かれる
6. 事実18から、推論6: "もしもその手工業が手荒いとしたら涼しい"が導かれる
7. 推論5と推論6から、仮説が否定される

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