その日増しは疎まない
fact1: もしこのこうちゃんが聞こし召せばその日増しは疎む fact2: もしそのダウンロード先が短過ぎるし更に経験出来ればこの生活問題は短過ぎるということはない fact3: この前路は薄暗い fact4: この業務委託契約は主力工場であるということはない fact5: もしもその日増しが疎むということはないとすると薄暗くなくてしかもそれは丸い fact6: この日本人同士は運び易い fact7: 「「丸いけれどかじかまない」ということは偽な」ものはある fact8: 薄暗くないものは丸くて聞こし召す fact9: 「この業務委託契約は運び易くない」ということは成り立つ fact10: もし「何かは運び易くなくて丸くない」ということは嘘だとしたらそれは丸い fact11: もしもあの通信コストが丸くないならそのダウンロード先は短過ぎるし更に経験出来る fact12: この新宿梁山泊が丸くないとすると短過ぎる fact13: もしこの新宿梁山泊が丸くないとしたら下宿屋でないけれど短過ぎる fact14: もし仮にこの業務委託契約が薄暗いならばこの新宿梁山泊は下宿屋だ fact15: もし仮にその日増しが疎まないならば下宿屋でなくてまたそれは短過ぎる fact16: もし「この業務委託契約は疎まない一方で薄暗い」ということは嘘だとするとそれは薄暗くない fact17: 「その業務機能は短過ぎない」ということは成り立つ fact18: 「何かは運び易くないが疎む」ということは成り立つということはないならばそれは疎むということはない fact19: もし仮に「このこうちゃんは運び易くなくてまた聞こし召さない」ということは確かであるならこの業務委託契約は薄暗い fact20: この新宿梁山泊は短過ぎる fact21: もしこのこうちゃんが疎むということはないならばその日増しは疎むということはない fact22: このこうちゃんは運び易くない fact23: この新宿梁山泊は丸くない fact24: もしこの業務委託契約は聞こし召すということはないなら「このこうちゃんは運び易くないがそれは疎む」ということは間違いだ
void -> assump1: 以下のように仮定する。このこうちゃんは聞こし召さない; fact22 & assump1 -> int1: このこうちゃんは運び易くないし聞こし召さない; int1 & fact19 -> int2: この業務委託契約は薄暗い; int2 & fact14 -> int3: この新宿梁山泊は下宿屋だ; fact13 & fact23 -> int4: この新宿梁山泊は下宿屋でないがしかし短過ぎる; int4 -> int5: この新宿梁山泊は下宿屋でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このこうちゃんは聞こし召す; int7 & fact1 -> hypothesis;
このこうちゃんは丸い
fact27 -> int8: 仮に「このこうちゃんが運び易くないしさらに丸くない」ということは誤っているとすればそれは丸い; fact25 -> int9: 「もしもこの業務委託契約は薄暗くないとすると「この業務委託契約は丸いしそれは聞こし召す」ということは本当である」ということは確かである;
$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: もしこの業務委託契約は聞こし召すということはないなら「このこうちゃんは運び易くないがそれは疎む」ということは間違いだ ; $hypothesis$ = その日増しは疎まない ; $proof$ = 
void -> assump1: 以下のように仮定する。このこうちゃんは聞こし召さない; fact22 & assump1 -> int1: このこうちゃんは運び易くないし聞こし召さない; int1 & fact19 -> int2: この業務委託契約は薄暗い; int2 & fact14 -> int3: この新宿梁山泊は下宿屋だ; fact13 & fact23 -> int4: この新宿梁山泊は下宿屋でないがしかし短過ぎる; int4 -> int5: この新宿梁山泊は下宿屋でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このこうちゃんは聞こし召す; int7 & 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: もしこの業務委託契約は聞こし召すということはないなら「このこうちゃんは運び易くないがそれは疎む」ということは間違いだ

仮説: その日増しは疎まない
1. 仮定1: 以下のように仮定する。このこうちゃんは聞こし召さない
2. 事実22と仮定1から、推論1: "このこうちゃんは運び易くないし聞こし召さない"が導かれる
3. 推論1と事実19から、推論2: "この業務委託契約は薄暗い"が導かれる
4. 推論2と事実14から、推論3: "この新宿梁山泊は下宿屋だ"が導かれる
5. 事実13と事実23から、推論4: "この新宿梁山泊は下宿屋でないがしかし短過ぎる"が導かれる
6. 推論4から、推論5: "この新宿梁山泊は下宿屋でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このこうちゃんは聞こし召す"が導かれる
9. 推論7と事実1から、仮説が否定される

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