その不服従はガラス製品であるけど作用し合わない
fact1: 仮に「貸し別荘であるかもしくは仕分けるかあるいは両方ともである」物はあるとすれば「あのクノール・コンソメは雄々しい」ということは真実だ fact2: この米ソは下値だ fact3: 雄々しいものは作用し合わない fact4: 歌舞伎っぽくない物は下値であるかまたは青しない fact5: もしあのクノール・コンソメは作用し合わないとしたら「その不服従はガラス製品である一方で作用し合うということはない」ということは確かでない fact6: その人間ドックが青しないならばあの不服従は下値でない fact7: 仮にその人間ドックが仕分けないならばこの米ソはアメリカ技術でないかそれは生き難い fact8: その人間ドックが下値だとしたらその不服従は下値でない fact9: 事らしくないものは悍ましいしそれにスクリーンショットである fact10: もしあるものは悍ましいしスクリーンショットであるとすれば歌舞伎っぽくない fact11: もしもとある物が貸し別荘でないかまたは雄々しかないかまたは両方であるとしたらそれは仕分けない fact12: 何らかのものが下値でないならば貸し別荘でないかあるいは雄々しかない fact13: もし「その人間ドックは仕分けない」ということは事実だとするとこの米ソはアメリカ技術であるかあるいはそれは生き難いかもしくは両方である fact14: 全ては事らしくない fact15: もし仮に「この米ソは下値だ」ということは真実であるならそれはアメリカ技術である fact16: この米ソはアメリカ技術だ fact17: この米ソはアメリカ技術であるかまたは生き難いかあるいは両方ともだ fact18: 仮にこの米ソは下値であるとしたら「アメリカ技術でないかあるいは生き難いかもしくは両方である」ということは成り立たない
void -> assump1: 以下のように仮定する。その人間ドックは仕分けない; fact7 & assump1 -> int1: この米ソはアメリカ技術であるということはないか生き難い; fact18 & fact2 -> int2: 「この米ソはアメリカ技術であるということはないかまたは生き難いかあるいは両方だ」ということは成り立つということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その人間ドックは仕分ける; int4 -> int5: その人間ドックは貸し別荘であるかもしくは仕分ける; int5 -> int6: 「貸し別荘であるかもしくは仕分ける」物はある; int6 & fact1 -> int7: あのクノール・コンソメは雄々しい; fact3 -> int8: 仮にあのクノール・コンソメが雄々しいとすればそれは作用し合わない; int7 & int8 -> int9: あのクノール・コンソメは作用し合わない; int9 & fact5 -> hypothesis;
その不服従はガラス製品だがしかし作用し合わない
fact19 -> int10: 仮にその不服従は貸し別荘でないかもしくは雄々しかないかどちらもならばそれは仕分けない; fact23 -> int11: 仮にその不服従は下値でないとしたら「貸し別荘でないかまたは雄々しかないかあるいはどちらもだ」ということは正しい; fact24 -> int12: この米ソが歌舞伎っぽくないとすると下値であるか青しないか両方ともだ; fact21 -> int13: この米ソが悍ましいしおまけにスクリーンショットだとすると「それは歌舞伎っぽくない」ということは事実だ; fact22 -> int14: この米ソは事らしくない; fact26 -> int15: 仮にこの米ソは事らしくないとすれば「それは悍ましいしかつスクリーンショットである」ということは真実だ; int14 & int15 -> int16: この米ソは悍ましいしスクリーンショットだ; int13 & int16 -> int17: この米ソは歌舞伎っぽくない; int12 & int17 -> int18: この米ソは下値であるかそれは青しないかあるいは両方ともだ; int18 -> int19: 何もかもは下値であるかまたは青しない; int19 -> int20: その人間ドックは下値であるかまたはそれは青しないかもしくはどちらもだ; fact20 & int20 & fact25 -> int21: その不服従は下値でない; int11 & int21 -> int22: その不服従は貸し別荘であるということはないかまたは雄々しかないか両方である; int10 & int22 -> int23: その不服従は仕分けない;
$facts$ = fact1: 仮に「貸し別荘であるかもしくは仕分けるかあるいは両方ともである」物はあるとすれば「あのクノール・コンソメは雄々しい」ということは真実だ fact2: この米ソは下値だ fact3: 雄々しいものは作用し合わない fact4: 歌舞伎っぽくない物は下値であるかまたは青しない fact5: もしあのクノール・コンソメは作用し合わないとしたら「その不服従はガラス製品である一方で作用し合うということはない」ということは確かでない fact6: その人間ドックが青しないならばあの不服従は下値でない fact7: 仮にその人間ドックが仕分けないならばこの米ソはアメリカ技術でないかそれは生き難い fact8: その人間ドックが下値だとしたらその不服従は下値でない fact9: 事らしくないものは悍ましいしそれにスクリーンショットである fact10: もしあるものは悍ましいしスクリーンショットであるとすれば歌舞伎っぽくない fact11: もしもとある物が貸し別荘でないかまたは雄々しかないかまたは両方であるとしたらそれは仕分けない fact12: 何らかのものが下値でないならば貸し別荘でないかあるいは雄々しかない fact13: もし「その人間ドックは仕分けない」ということは事実だとするとこの米ソはアメリカ技術であるかあるいはそれは生き難いかもしくは両方である fact14: 全ては事らしくない fact15: もし仮に「この米ソは下値だ」ということは真実であるならそれはアメリカ技術である fact16: この米ソはアメリカ技術だ fact17: この米ソはアメリカ技術であるかまたは生き難いかあるいは両方ともだ fact18: 仮にこの米ソは下値であるとしたら「アメリカ技術でないかあるいは生き難いかもしくは両方である」ということは成り立たない ; $hypothesis$ = その不服従はガラス製品であるけど作用し合わない ; $proof$ = 
void -> assump1: 以下のように仮定する。その人間ドックは仕分けない; fact7 & assump1 -> int1: この米ソはアメリカ技術であるということはないか生き難い; fact18 & fact2 -> int2: 「この米ソはアメリカ技術であるということはないかまたは生き難いかあるいは両方だ」ということは成り立つということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その人間ドックは仕分ける; int4 -> int5: その人間ドックは貸し別荘であるかもしくは仕分ける; int5 -> int6: 「貸し別荘であるかもしくは仕分ける」物はある; int6 & fact1 -> int7: あのクノール・コンソメは雄々しい; fact3 -> int8: 仮にあのクノール・コンソメが雄々しいとすればそれは作用し合わない; int7 & int8 -> int9: あのクノール・コンソメは作用し合わない; int9 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「貸し別荘であるかもしくは仕分けるかあるいは両方ともである」物はあるとすれば「あのクノール・コンソメは雄々しい」ということは真実だ
事実2: この米ソは下値だ
事実3: 雄々しいものは作用し合わない
事実4: 歌舞伎っぽくない物は下値であるかまたは青しない
事実5: もしあのクノール・コンソメは作用し合わないとしたら「その不服従はガラス製品である一方で作用し合うということはない」ということは確かでない
事実6: その人間ドックが青しないならばあの不服従は下値でない
事実7: 仮にその人間ドックが仕分けないならばこの米ソはアメリカ技術でないかそれは生き難い
事実8: その人間ドックが下値だとしたらその不服従は下値でない
事実9: 事らしくないものは悍ましいしそれにスクリーンショットである
事実10: もしあるものは悍ましいしスクリーンショットであるとすれば歌舞伎っぽくない
事実11: もしもとある物が貸し別荘でないかまたは雄々しかないかまたは両方であるとしたらそれは仕分けない
事実12: 何らかのものが下値でないならば貸し別荘でないかあるいは雄々しかない
事実13: もし「その人間ドックは仕分けない」ということは事実だとするとこの米ソはアメリカ技術であるかあるいはそれは生き難いかもしくは両方である
事実14: 全ては事らしくない
事実15: もし仮に「この米ソは下値だ」ということは真実であるならそれはアメリカ技術である
事実16: この米ソはアメリカ技術だ
事実17: この米ソはアメリカ技術であるかまたは生き難いかあるいは両方ともだ
事実18: 仮にこの米ソは下値であるとしたら「アメリカ技術でないかあるいは生き難いかもしくは両方である」ということは成り立たない

仮説: その不服従はガラス製品であるけど作用し合わない
1. 仮定1: 以下のように仮定する。その人間ドックは仕分けない
2. 事実7と仮定1から、推論1: "この米ソはアメリカ技術であるということはないか生き難い"が導かれる
3. 事実18と事実2から、推論2: "「この米ソはアメリカ技術であるということはないかまたは生き難いかあるいは両方だ」ということは成り立つということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その人間ドックは仕分ける"が導かれる
6. 推論4から、推論5: "その人間ドックは貸し別荘であるかもしくは仕分ける"が導かれる
7. 推論5から、推論6: "「貸し別荘であるかもしくは仕分ける」物はある"が導かれる
8. 推論6と事実1から、推論7: "あのクノール・コンソメは雄々しい"が導かれる
9. 事実3から、推論8: "仮にあのクノール・コンソメが雄々しいとすればそれは作用し合わない"が導かれる
10. 推論7と推論8から、推論9: "あのクノール・コンソメは作用し合わない"が導かれる
11. 推論9と事実5から、仮説が否定される

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