そのＭ＆Ａはアダルトチルドレンでない
fact1: 仮に「あのグレイは困窮しなくてかつ堅苦しくない」ということは誤りであるとすれば堅苦しい fact2: もしもそのＭ＆Ａはアダルトチルドレンだとすると「この行財政運営は増加等でないしそれに推賞しない」ということは成り立たない fact3: あのグレイはうざい fact4: そのＭ＆Ａは重たくなくて加えて解読しない fact5: 「「甘えないしおまけにスポーツマンらしくない」ということは事実と異なる」物があればその二箇月半は甘える fact6: なにがしかのものが攻め上がるならそれはに対して見る fact7: もしその印刷時がに対して見るとしたらこの行財政運営はアダルトチルドレンであるかもしくは木目細かくないかまたは両方だ fact8: もしもこの五百万円未満が攻め上がるならその印刷時は攻め上がる fact9: この行財政運営は増加等であるということはない fact10: あのグレイはうざいとすると「困窮しないしその上堅苦しくない」ということは成り立たない fact11: 仮に「木目細かい」ものがあるとしたらこの行財政運営は増加等でないししかも推賞しない fact12: とあるものが甘えるならそれは解読しなくてまた有りゃする fact13: もし仮に「解読しないしまた有りゃする」物はあるなら「その大志は悍ましい」ということは確かである fact14: 「増加等な」物はある fact15: 「木目細かい」物はある fact16: 仮にあるものは堅苦しいならば「甘えないしスポーツマンらしくない」ということは事実でない fact17: もしもあるものが木目細かいとしたらこの行財政運営は増加等でない fact18: 「この行財政運営は増加等だが推賞しない」ということは偽である fact19: もし仮にその大志が悍ましいならばこの五百万円未満は攻め上がる fact20: もしも何かはアダルトチルドレンでないならば寒くないしおまけに悲観しない
void -> assump1: 以下のように仮定する。そのＭ＆Ａはアダルトチルドレンである; fact2 & assump1 -> int1: 「この行財政運営は増加等でないし更にそれは推賞しない」ということは嘘である; fact11 & fact15 -> int2: この行財政運営は増加等でないしおまけに推賞しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); fact11 & fact15 -> int2: (¬{AA}{b} & ¬{AB}{b}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの土工板は寒いということはなくて悲観しない
fact21 -> int4: 「あの土工板はアダルトチルドレンでない」ということは成り立つとしたら寒いということはなくてしかも悲観しない;
$facts$ = fact1: 仮に「あのグレイは困窮しなくてかつ堅苦しくない」ということは誤りであるとすれば堅苦しい fact2: もしもそのＭ＆Ａはアダルトチルドレンだとすると「この行財政運営は増加等でないしそれに推賞しない」ということは成り立たない fact3: あのグレイはうざい fact4: そのＭ＆Ａは重たくなくて加えて解読しない fact5: 「「甘えないしおまけにスポーツマンらしくない」ということは事実と異なる」物があればその二箇月半は甘える fact6: なにがしかのものが攻め上がるならそれはに対して見る fact7: もしその印刷時がに対して見るとしたらこの行財政運営はアダルトチルドレンであるかもしくは木目細かくないかまたは両方だ fact8: もしもこの五百万円未満が攻め上がるならその印刷時は攻め上がる fact9: この行財政運営は増加等であるということはない fact10: あのグレイはうざいとすると「困窮しないしその上堅苦しくない」ということは成り立たない fact11: 仮に「木目細かい」ものがあるとしたらこの行財政運営は増加等でないししかも推賞しない fact12: とあるものが甘えるならそれは解読しなくてまた有りゃする fact13: もし仮に「解読しないしまた有りゃする」物はあるなら「その大志は悍ましい」ということは確かである fact14: 「増加等な」物はある fact15: 「木目細かい」物はある fact16: 仮にあるものは堅苦しいならば「甘えないしスポーツマンらしくない」ということは事実でない fact17: もしもあるものが木目細かいとしたらこの行財政運営は増加等でない fact18: 「この行財政運営は増加等だが推賞しない」ということは偽である fact19: もし仮にその大志が悍ましいならばこの五百万円未満は攻め上がる fact20: もしも何かはアダルトチルドレンでないならば寒くないしおまけに悲観しない ; $hypothesis$ = そのＭ＆Ａはアダルトチルドレンでない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＭ＆Ａはアダルトチルドレンである; fact2 & assump1 -> int1: 「この行財政運営は増加等でないし更にそれは推賞しない」ということは嘘である; fact11 & fact15 -> int2: この行財政運営は増加等でないしおまけに推賞しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮に「あのグレイは困窮しなくてかつ堅苦しくない」ということは誤りであるとすれば堅苦しい
事実2: もしもそのＭ＆Ａはアダルトチルドレンだとすると「この行財政運営は増加等でないしそれに推賞しない」ということは成り立たない
事実3: あのグレイはうざい
事実4: そのＭ＆Ａは重たくなくて加えて解読しない
事実5: 「「甘えないしおまけにスポーツマンらしくない」ということは事実と異なる」物があればその二箇月半は甘える
事実6: なにがしかのものが攻め上がるならそれはに対して見る
事実7: もしその印刷時がに対して見るとしたらこの行財政運営はアダルトチルドレンであるかもしくは木目細かくないかまたは両方だ
事実8: もしもこの五百万円未満が攻め上がるならその印刷時は攻め上がる
事実9: この行財政運営は増加等であるということはない
事実10: あのグレイはうざいとすると「困窮しないしその上堅苦しくない」ということは成り立たない
事実11: 仮に「木目細かい」ものがあるとしたらこの行財政運営は増加等でないししかも推賞しない
事実12: とあるものが甘えるならそれは解読しなくてまた有りゃする
事実13: もし仮に「解読しないしまた有りゃする」物はあるなら「その大志は悍ましい」ということは確かである
事実14: 「増加等な」物はある
事実15: 「木目細かい」物はある
事実16: 仮にあるものは堅苦しいならば「甘えないしスポーツマンらしくない」ということは事実でない
事実17: もしもあるものが木目細かいとしたらこの行財政運営は増加等でない
事実18: 「この行財政運営は増加等だが推賞しない」ということは偽である
事実19: もし仮にその大志が悍ましいならばこの五百万円未満は攻め上がる
事実20: もしも何かはアダルトチルドレンでないならば寒くないしおまけに悲観しない

仮説: そのＭ＆Ａはアダルトチルドレンでない
1. 仮定1: 以下のように仮定する。そのＭ＆Ａはアダルトチルドレンである
2. 事実2と仮定1から、推論1: "「この行財政運営は増加等でないし更にそれは推賞しない」ということは嘘である"が導かれる
3. 事実11と事実15から、推論2: "この行財政運営は増加等でないしおまけに推賞しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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