この社長自身はＣＡＳＥステートメントである
fact1: あるものは用意である fact2: 仮にその和夫さん一家がＣＡＳＥステートメントでなくてかつそれが紳士らしくないならばこの社長自身は吸入する fact3: もし何らかの物がＣＡＳＥステートメントでないならばその和夫さん一家は止血するということはなくておまけに吸入しない fact4: もしこの社長自身は生活し易いなら「子供っぽいがしかし御預からない」ということは間違っている fact5: もしも「用意であるということはない」ものがあるとしたらその和夫さん一家は止血しない fact6: 「用意でない」物はある fact7: もしこの社長自身は紳士らしくないし吸入しないとすれば「その和夫さん一家は止血する」ということは成り立つ fact8: 仮にその和夫さん一家が止血しなくてかつそれが紳士らしくないとすればこの社長自身は子供っぽい fact9: もしとある物が用意であるということはないならばその和夫さん一家は止血するということはなくてそれは紳士らしくない fact10: もしも「この社長自身は吸入する」ということは本当であるとすればＣＡＳＥステートメントだ fact11: 仮にその和夫さん一家が用意であるならその陸軍側はＣＡＳＥステートメントだ fact12: この社長自身が紳士らしくないとするとその和夫さん一家が用意だしそれは止血する fact13: この白衣は生活し易いということはない fact14: この社長自身は生活し易い fact15: 仮にあるものは御預かれば「それは吸入する」ということは事実だ fact16: 「その和夫さん一家は止血しない」ということは成り立つ fact17: 「神無月な」物はある fact18: あのザイルは吸入する fact19: 仮にこの白衣が紳士らしいとすればその和夫さん一家は用意である fact20: とあるものが子供っぽいとするとそれは紳士らしいかあるいは御預かるということはないかまたは両方である fact21: もしもその和夫さん一家が止血するけれど紳士らしくないとしたらこの社長自身は子供っぽい fact22: 「紳士らしい」物はある fact23: この社長自身は拒み続けなくてデジタルコンテンツでない fact24: もしもとあるものが吸入するとするとそれは紳士らしい fact25: 薄くないものはある fact26: 「「紳士らしくない」ということは正しい」物があるとすればその和夫さん一家は子供っぽいということはなくてかつ止血しない
fact6 & fact9 -> int1: その和夫さん一家は止血するということはなくてそれは紳士らしくない; int1 & fact8 -> int2: 「この社長自身は子供っぽい」ということは成り立つ; void -> assump1: 以下のように仮定する。この社長自身は御預からない; int2 & assump1 -> int3: この社長自身は子供っぽいがしかし御預からない; fact4 & fact14 -> int4: 「この社長自身は子供っぽいが御預からない」ということは事実と異なる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この社長自身は御預かる; fact15 -> int7: もしこの社長自身が御預かればそれは吸入する; int6 & int7 -> int8: この社長自身は吸入する; int8 & fact10 -> hypothesis;
その陸軍側はＣＡＳＥステートメントだ
fact28 -> 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: もしもとあるものが吸入するとするとそれは紳士らしい fact25: 薄くないものはある fact26: 「「紳士らしくない」ということは正しい」物があるとすればその和夫さん一家は子供っぽいということはなくてかつ止血しない ; $hypothesis$ = この社長自身はＣＡＳＥステートメントである ; $proof$ = 
fact6 & fact9 -> int1: その和夫さん一家は止血するということはなくてそれは紳士らしくない; int1 & fact8 -> int2: 「この社長自身は子供っぽい」ということは成り立つ; void -> assump1: 以下のように仮定する。この社長自身は御預からない; int2 & assump1 -> int3: この社長自身は子供っぽいがしかし御預からない; fact4 & fact14 -> int4: 「この社長自身は子供っぽいが御預からない」ということは事実と異なる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この社長自身は御預かる; fact15 -> int7: もしこの社長自身が御預かればそれは吸入する; int6 & int7 -> int8: この社長自身は吸入する; int8 & fact10 -> hypothesis; __PROVED__
事実1: あるものは用意である
事実2: 仮にその和夫さん一家がＣＡＳＥステートメントでなくてかつそれが紳士らしくないならばこの社長自身は吸入する
事実3: もし何らかの物がＣＡＳＥステートメントでないならばその和夫さん一家は止血するということはなくておまけに吸入しない
事実4: もしこの社長自身は生活し易いなら「子供っぽいがしかし御預からない」ということは間違っている
事実5: もしも「用意であるということはない」ものがあるとしたらその和夫さん一家は止血しない
事実6: 「用意でない」物はある
事実7: もしこの社長自身は紳士らしくないし吸入しないとすれば「その和夫さん一家は止血する」ということは成り立つ
事実8: 仮にその和夫さん一家が止血しなくてかつそれが紳士らしくないとすればこの社長自身は子供っぽい
事実9: もしとある物が用意であるということはないならばその和夫さん一家は止血するということはなくてそれは紳士らしくない
事実10: もしも「この社長自身は吸入する」ということは本当であるとすればＣＡＳＥステートメントだ
事実11: 仮にその和夫さん一家が用意であるならその陸軍側はＣＡＳＥステートメントだ
事実12: この社長自身が紳士らしくないとするとその和夫さん一家が用意だしそれは止血する
事実13: この白衣は生活し易いということはない
事実14: この社長自身は生活し易い
事実15: 仮にあるものは御預かれば「それは吸入する」ということは事実だ
事実16: 「その和夫さん一家は止血しない」ということは成り立つ
事実17: 「神無月な」物はある
事実18: あのザイルは吸入する
事実19: 仮にこの白衣が紳士らしいとすればその和夫さん一家は用意である
事実20: とあるものが子供っぽいとするとそれは紳士らしいかあるいは御預かるということはないかまたは両方である
事実21: もしもその和夫さん一家が止血するけれど紳士らしくないとしたらこの社長自身は子供っぽい
事実22: 「紳士らしい」物はある
事実23: この社長自身は拒み続けなくてデジタルコンテンツでない
事実24: もしもとあるものが吸入するとするとそれは紳士らしい
事実25: 薄くないものはある
事実26: 「「紳士らしくない」ということは正しい」物があるとすればその和夫さん一家は子供っぽいということはなくてかつ止血しない

仮説: この社長自身はＣＡＳＥステートメントである
1. 事実6と事実9から、推論1: "その和夫さん一家は止血するということはなくてそれは紳士らしくない"が導かれる
2. 推論1と事実8から、推論2: "「この社長自身は子供っぽい」ということは成り立つ"が導かれる
3. 仮定1: 以下のように仮定する。この社長自身は御預からない
4. 推論2と仮定1から、推論3: "この社長自身は子供っぽいがしかし御預からない"が導かれる
5. 事実4と事実14から、推論4: "「この社長自身は子供っぽいが御預からない」ということは事実と異なる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この社長自身は御預かる"が導かれる
8. 事実15から、推論7: "もしこの社長自身が御預かればそれは吸入する"が導かれる
9. 推論6と推論7から、推論8: "この社長自身は吸入する"が導かれる
10. 推論8と事実10から、仮説が導かれる

よって、仮説が証明されました。