あの武道は言い出し難くないけれど御祝いする
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: あの加入金はしょっぱくない
void -> assump1: 以下のように仮定する。「その技研は名残惜しい」ということは成り立つ; assump1 & fact23 -> int1: その技研は名残惜しいしその上遺族基礎年金だ; int1 & fact7 -> int2: 「その技研は野外活動でない」ということは確かである; fact24 & fact8 -> int3: その技研は野外活動だし加えてそれはしょっぱい; int3 -> int4: その技研は野外活動である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その技研は名残惜しいということはない; fact5 -> int7: もし仮にその技研は名残惜しくないとしたら「それは死に別れるしそれに各メンバーだ」ということは成り立つということはない; int6 & int7 -> int8: 「その技研は死に別れるしそれにそれは各メンバーだ」ということは成り立たない; int8 & fact3 -> int9: あの武道は受け入れ易くない; fact9 -> int10: もし仮に「あの武道は受け入れ易くない」ということは成り立つとするとそれは言い出し難くないけれど御祝いする; int9 & int10 -> hypothesis;
「あの武道は言い出し難くないけど御祝いする」ということは成り立たない
fact28 -> int11: 仮に「その技研は名残惜しいということはないし加えて遺族基礎年金でない」ということは真実であるとするとそれは御祝いしない; fact31 -> int12: もしあの加入金は湿気易いがしょっぱいということはないとしたらそれは受け入れ易くない; fact32 & fact30 -> int13: あの加入金は湿気易い一方でしょっぱくない; int12 & int13 -> int14: あの加入金は受け入れ易くない; fact26 -> int15: 仮にあの加入金が行われ易くないとすればそれは各メンバーだということはない; fact27 & fact35 -> int16: あの加入金は行われ易くない; int15 & int16 -> int17: あの加入金は各メンバーでない; int14 & int17 -> int18: あの加入金は受け入れ易くないしおまけにそれは各メンバーでない; int18 -> int19: 「受け入れ易くないし各メンバーでない」ものはある;
$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: あの加入金はしょっぱくない ; $hypothesis$ = あの武道は言い出し難くないけれど御祝いする ; $proof$ = 
void -> assump1: 以下のように仮定する。「その技研は名残惜しい」ということは成り立つ; assump1 & fact23 -> int1: その技研は名残惜しいしその上遺族基礎年金だ; int1 & fact7 -> int2: 「その技研は野外活動でない」ということは確かである; fact24 & fact8 -> int3: その技研は野外活動だし加えてそれはしょっぱい; int3 -> int4: その技研は野外活動である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その技研は名残惜しいということはない; fact5 -> int7: もし仮にその技研は名残惜しくないとしたら「それは死に別れるしそれに各メンバーだ」ということは成り立つということはない; int6 & int7 -> int8: 「その技研は死に別れるしそれにそれは各メンバーだ」ということは成り立たない; int8 & fact3 -> int9: あの武道は受け入れ易くない; fact9 -> int10: もし仮に「あの武道は受け入れ易くない」ということは成り立つとするとそれは言い出し難くないけれど御祝いする; int9 & int10 -> 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: あの加入金はしょっぱくない

仮説: あの武道は言い出し難くないけれど御祝いする
1. 仮定1: 以下のように仮定する。「その技研は名残惜しい」ということは成り立つ
2. 仮定1と事実23から、推論1: "その技研は名残惜しいしその上遺族基礎年金だ"が導かれる
3. 推論1と事実7から、推論2: "「その技研は野外活動でない」ということは確かである"が導かれる
4. 事実24と事実8から、推論3: "その技研は野外活動だし加えてそれはしょっぱい"が導かれる
5. 推論3から、推論4: "その技研は野外活動である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その技研は名残惜しいということはない"が導かれる
8. 事実5から、推論7: "もし仮にその技研は名残惜しくないとしたら「それは死に別れるしそれに各メンバーだ」ということは成り立つということはない"が導かれる
9. 推論6と推論7から、推論8: "「その技研は死に別れるしそれにそれは各メンバーだ」ということは成り立たない"が導かれる
10. 推論8と事実3から、推論9: "あの武道は受け入れ易くない"が導かれる
11. 事実9から、推論10: "もし仮に「あの武道は受け入れ易くない」ということは成り立つとするとそれは言い出し難くないけれど御祝いする"が導かれる
12. 推論9と推論10から、仮説が導かれる

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