あの一年草は腐り易くない
fact1: もしもある物が交接器でないとしたら大きくておまけに気恥ずかしい fact2: もし何らかの物は研究開発するなら「腫れぼったくないしさらに交接器でない」ということは嘘である fact3: もしもあの一年草が交接器であるならばこの未病は気恥ずかしい fact4: 仮に腐り易い物が気恥ずかしいとしたら交接器でない fact5: もし「あの一年草はオペレーションしない」ということは確かであるなら「湿っぽくて加えてえぐくない」ということは成り立たない fact6: もしもあの一年草が大きいならこの未病は気恥ずかしい fact7: あの一年草は駆け寄るしさらに極まりない fact8: もし「この未病は腫れぼったくなくて加えてそれは交接器でない」ということは成り立たないならばその緊張気味は気恥ずかしくない fact9: この未病は大きいとすれば「あの一年草は気恥ずかしい」ということは真実である fact10: あの一年草はオペレーションしない fact11: もしも「何らかの物はちくま文庫であるがしかし研究開発しない」ということは成り立つということはないとすると研究開発する fact12: もし仮に何らかの物は湿っぽくないなら「ちくま文庫だ一方で研究開発しない」ということは嘘だ fact13: なにかは気恥ずかしくないとしたらそれは腐り易いしそれは大きい fact14: この未病は大きい fact15: あの一年草は交接器である fact16: もし「「湿っぽいしかつえぐくない」ということは嘘である」ものがあるならばあの未病は湿っぽくない
fact9 & fact14 -> int1: あの一年草は気恥ずかしい; void -> assump1: 以下のように仮定する。あの一年草は腐り易い; int1 & assump1 -> int2: あの一年草は腐り易いしまた気恥ずかしい; fact4 -> int3: あの一年草が腐り易いしその上それが気恥ずかしいなら交接器でない; int2 & int3 -> int4: あの一年草は交接器でない; int4 & fact15 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの一年草は腐り易い
fact17 -> int6: もしこの未病は交接器でないとしたら大きいしおまけに気恥ずかしい;
$facts$ = fact1: もしもある物が交接器でないとしたら大きくておまけに気恥ずかしい fact2: もし何らかの物は研究開発するなら「腫れぼったくないしさらに交接器でない」ということは嘘である fact3: もしもあの一年草が交接器であるならばこの未病は気恥ずかしい fact4: 仮に腐り易い物が気恥ずかしいとしたら交接器でない fact5: もし「あの一年草はオペレーションしない」ということは確かであるなら「湿っぽくて加えてえぐくない」ということは成り立たない fact6: もしもあの一年草が大きいならこの未病は気恥ずかしい fact7: あの一年草は駆け寄るしさらに極まりない fact8: もし「この未病は腫れぼったくなくて加えてそれは交接器でない」ということは成り立たないならばその緊張気味は気恥ずかしくない fact9: この未病は大きいとすれば「あの一年草は気恥ずかしい」ということは真実である fact10: あの一年草はオペレーションしない fact11: もしも「何らかの物はちくま文庫であるがしかし研究開発しない」ということは成り立つということはないとすると研究開発する fact12: もし仮に何らかの物は湿っぽくないなら「ちくま文庫だ一方で研究開発しない」ということは嘘だ fact13: なにかは気恥ずかしくないとしたらそれは腐り易いしそれは大きい fact14: この未病は大きい fact15: あの一年草は交接器である fact16: もし「「湿っぽいしかつえぐくない」ということは嘘である」ものがあるならばあの未病は湿っぽくない ; $hypothesis$ = あの一年草は腐り易くない ; $proof$ = 
fact9 & fact14 -> int1: あの一年草は気恥ずかしい; void -> assump1: 以下のように仮定する。あの一年草は腐り易い; int1 & assump1 -> int2: あの一年草は腐り易いしまた気恥ずかしい; fact4 -> int3: あの一年草が腐り易いしその上それが気恥ずかしいなら交接器でない; int2 & int3 -> int4: あの一年草は交接器でない; int4 & fact15 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもある物が交接器でないとしたら大きくておまけに気恥ずかしい
事実2: もし何らかの物は研究開発するなら「腫れぼったくないしさらに交接器でない」ということは嘘である
事実3: もしもあの一年草が交接器であるならばこの未病は気恥ずかしい
事実4: 仮に腐り易い物が気恥ずかしいとしたら交接器でない
事実5: もし「あの一年草はオペレーションしない」ということは確かであるなら「湿っぽくて加えてえぐくない」ということは成り立たない
事実6: もしもあの一年草が大きいならこの未病は気恥ずかしい
事実7: あの一年草は駆け寄るしさらに極まりない
事実8: もし「この未病は腫れぼったくなくて加えてそれは交接器でない」ということは成り立たないならばその緊張気味は気恥ずかしくない
事実9: この未病は大きいとすれば「あの一年草は気恥ずかしい」ということは真実である
事実10: あの一年草はオペレーションしない
事実11: もしも「何らかの物はちくま文庫であるがしかし研究開発しない」ということは成り立つということはないとすると研究開発する
事実12: もし仮に何らかの物は湿っぽくないなら「ちくま文庫だ一方で研究開発しない」ということは嘘だ
事実13: なにかは気恥ずかしくないとしたらそれは腐り易いしそれは大きい
事実14: この未病は大きい
事実15: あの一年草は交接器である
事実16: もし「「湿っぽいしかつえぐくない」ということは嘘である」ものがあるならばあの未病は湿っぽくない

仮説: あの一年草は腐り易くない
1. 事実9と事実14から、推論1: "あの一年草は気恥ずかしい"が導かれる
2. 仮定1: 以下のように仮定する。あの一年草は腐り易い
3. 推論1と仮定1から、推論2: "あの一年草は腐り易いしまた気恥ずかしい"が導かれる
4. 事実4から、推論3: "あの一年草が腐り易いしその上それが気恥ずかしいなら交接器でない"が導かれる
5. 推論2と推論3から、推論4: "あの一年草は交接器でない"が導かれる
6. 推論4と事実15から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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