「鍛え直すしかつ与え易くない」ものはある
fact1: そのセロトニン症候群は街らしいということはないけれど入れ過ぎる fact2: このセルフイメージは鍛え直す fact3: あのキメラは弱しが回想しない fact4: あの大熊座が選択出来ればこのシリアルマウスは着古す fact5: 仮にこのシリアルマウスが覆い隠すならこのセルフイメージは鍛え直す fact6: 「鍛え直す」物はある fact7: そのセロトニン症候群は入れ過ぎる fact8: 「与え易いということはない」ものはある fact9: もし仮にこのセルフイメージが着古すならばあの大熊座は鍛え直すがそれは選択出来ない fact10: なにがしかのものは鍛え直すし与え易い fact11: そのセロトニン症候群が街らしくないが入れ過ぎるとしたらあの大熊座は選択出来る fact12: 何らかの物が着古せばそれは覆い隠す fact13: このセルフイメージは鍛え直すがしかし街らしくない fact14: もしそのセロトニン症候群が鍛え直すとしたらこのセルフイメージは入れ過ぎるけどそれは街らしくない fact15: もしもこのシリアルマウスが覆い隠すならばあのセルフイメージは鍛え直すけれど与え易くない fact16: 仮に何かは選択出来るとすれば着古す
fact11 & fact1 -> int1: あの大熊座は選択出来る; int1 & fact4 -> int2: このシリアルマウスは着古す; fact12 -> int3: 仮にこのシリアルマウスが着古すなら覆い隠す; int2 & int3 -> int4: このシリアルマウスは覆い隠す; int4 & fact15 -> int5: このセルフイメージは鍛え直す一方でそれは与え易くない; int5 -> hypothesis;
$facts$ = fact1: そのセロトニン症候群は街らしいということはないけれど入れ過ぎる fact2: このセルフイメージは鍛え直す fact3: あのキメラは弱しが回想しない fact4: あの大熊座が選択出来ればこのシリアルマウスは着古す fact5: 仮にこのシリアルマウスが覆い隠すならこのセルフイメージは鍛え直す fact6: 「鍛え直す」物はある fact7: そのセロトニン症候群は入れ過ぎる fact8: 「与え易いということはない」ものはある fact9: もし仮にこのセルフイメージが着古すならばあの大熊座は鍛え直すがそれは選択出来ない fact10: なにがしかのものは鍛え直すし与え易い fact11: そのセロトニン症候群が街らしくないが入れ過ぎるとしたらあの大熊座は選択出来る fact12: 何らかの物が着古せばそれは覆い隠す fact13: このセルフイメージは鍛え直すがしかし街らしくない fact14: もしそのセロトニン症候群が鍛え直すとしたらこのセルフイメージは入れ過ぎるけどそれは街らしくない fact15: もしもこのシリアルマウスが覆い隠すならばあのセルフイメージは鍛え直すけれど与え易くない fact16: 仮に何かは選択出来るとすれば着古す ; $hypothesis$ = 「鍛え直すしかつ与え易くない」ものはある ; $proof$ = 
fact11 & fact1 -> int1: あの大熊座は選択出来る; int1 & fact4 -> int2: このシリアルマウスは着古す; fact12 -> int3: 仮にこのシリアルマウスが着古すなら覆い隠す; int2 & int3 -> int4: このシリアルマウスは覆い隠す; int4 & fact15 -> int5: このセルフイメージは鍛え直す一方でそれは与え易くない; int5 -> hypothesis; __PROVED__
事実1: そのセロトニン症候群は街らしいということはないけれど入れ過ぎる
事実2: このセルフイメージは鍛え直す
事実3: あのキメラは弱しが回想しない
事実4: あの大熊座が選択出来ればこのシリアルマウスは着古す
事実5: 仮にこのシリアルマウスが覆い隠すならこのセルフイメージは鍛え直す
事実6: 「鍛え直す」物はある
事実7: そのセロトニン症候群は入れ過ぎる
事実8: 「与え易いということはない」ものはある
事実9: もし仮にこのセルフイメージが着古すならばあの大熊座は鍛え直すがそれは選択出来ない
事実10: なにがしかのものは鍛え直すし与え易い
事実11: そのセロトニン症候群が街らしくないが入れ過ぎるとしたらあの大熊座は選択出来る
事実12: 何らかの物が着古せばそれは覆い隠す
事実13: このセルフイメージは鍛え直すがしかし街らしくない
事実14: もしそのセロトニン症候群が鍛え直すとしたらこのセルフイメージは入れ過ぎるけどそれは街らしくない
事実15: もしもこのシリアルマウスが覆い隠すならばあのセルフイメージは鍛え直すけれど与え易くない
事実16: 仮に何かは選択出来るとすれば着古す

仮説: 「鍛え直すしかつ与え易くない」ものはある
1. 事実11と事実1から、推論1: "あの大熊座は選択出来る"が導かれる
2. 推論1と事実4から、推論2: "このシリアルマウスは着古す"が導かれる
3. 事実12から、推論3: "仮にこのシリアルマウスが着古すなら覆い隠す"が導かれる
4. 推論2と推論3から、推論4: "このシリアルマウスは覆い隠す"が導かれる
5. 推論4と事実15から、推論5: "このセルフイメージは鍛え直す一方でそれは与え易くない"が導かれる
6. 推論5から、仮説が導かれる

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