その投獄はどぎついということはないがしかし聡い
fact1: その投獄はどぎつかない fact2: あの家族介護は傷付け易い fact3: もしも何らかのものが嫉妬深くて更に顆粒だとすればそれは切り離せない fact4: もし仮にあの迷惑メールが嫉妬深くないならばあの形態素は立ち聞きでない fact5: もし仮にその形態素が目まぐるしかないとするとその投獄はどぎつかない fact6: 「あの家族介護は傷付け易くておまけに突っ込める」ということは嘘でない fact7: あの迷惑メールは買い易くない fact8: あの迷惑メールは嫉妬深くなくておまけに買い易くない fact9: もしあの迷惑メールが嫉妬深くないならその形態素は立ち聞きでないが嫉妬深い fact10: あの上木は聡い fact11: その形態素は立ち聞きだということはない fact12: もし仮にあの家族介護が突っ込めるとするとその形態素は顆粒だ fact13: あの迷惑メールは買い易くないがしかしそれはどぎつい fact14: 仮に何らかのものが切り離せるということはないならばそれは目まぐるしいということはない fact15: どぎつかない物は傷付け易くない fact16: あの家族介護は顆粒でおまけに突っ込めるとすればそれは嫉妬深くない fact17: もしもその形態素は目まぐるしかないとしたら「その投獄はどぎつかないがしかしそれは聡い」ということは確かである
fact8 -> int1: あの迷惑メールは嫉妬深くない; int1 & fact9 -> int2: その形態素は立ち聞きでないけどそれは嫉妬深い; int2 -> int3: その形態素は嫉妬深い; fact6 -> int4: あの家族介護は突っ込める; fact12 & int4 -> int5: その形態素は顆粒である; int3 & int5 -> int6: その形態素は嫉妬深いしまた顆粒である; fact3 -> int7: もし仮にその形態素は嫉妬深くてかつ顆粒であるとすれば切り離せない; int6 & int7 -> int8: その形態素は切り離せない; fact14 -> int9: もしその形態素が切り離せないならばそれは目まぐるしかない; int8 & int9 -> int10: その形態素は目まぐるしかない; int10 & fact17 -> hypothesis;
$facts$ = fact1: その投獄はどぎつかない fact2: あの家族介護は傷付け易い fact3: もしも何らかのものが嫉妬深くて更に顆粒だとすればそれは切り離せない fact4: もし仮にあの迷惑メールが嫉妬深くないならばあの形態素は立ち聞きでない fact5: もし仮にその形態素が目まぐるしかないとするとその投獄はどぎつかない fact6: 「あの家族介護は傷付け易くておまけに突っ込める」ということは嘘でない fact7: あの迷惑メールは買い易くない fact8: あの迷惑メールは嫉妬深くなくておまけに買い易くない fact9: もしあの迷惑メールが嫉妬深くないならその形態素は立ち聞きでないが嫉妬深い fact10: あの上木は聡い fact11: その形態素は立ち聞きだということはない fact12: もし仮にあの家族介護が突っ込めるとするとその形態素は顆粒だ fact13: あの迷惑メールは買い易くないがしかしそれはどぎつい fact14: 仮に何らかのものが切り離せるということはないならばそれは目まぐるしいということはない fact15: どぎつかない物は傷付け易くない fact16: あの家族介護は顆粒でおまけに突っ込めるとすればそれは嫉妬深くない fact17: もしもその形態素は目まぐるしかないとしたら「その投獄はどぎつかないがしかしそれは聡い」ということは確かである ; $hypothesis$ = その投獄はどぎついということはないがしかし聡い ; $proof$ = 
fact8 -> int1: あの迷惑メールは嫉妬深くない; int1 & fact9 -> int2: その形態素は立ち聞きでないけどそれは嫉妬深い; int2 -> int3: その形態素は嫉妬深い; fact6 -> int4: あの家族介護は突っ込める; fact12 & int4 -> int5: その形態素は顆粒である; int3 & int5 -> int6: その形態素は嫉妬深いしまた顆粒である; fact3 -> int7: もし仮にその形態素は嫉妬深くてかつ顆粒であるとすれば切り離せない; int6 & int7 -> int8: その形態素は切り離せない; fact14 -> int9: もしその形態素が切り離せないならばそれは目まぐるしかない; int8 & int9 -> int10: その形態素は目まぐるしかない; int10 & fact17 -> hypothesis; __PROVED__
事実1: その投獄はどぎつかない
事実2: あの家族介護は傷付け易い
事実3: もしも何らかのものが嫉妬深くて更に顆粒だとすればそれは切り離せない
事実4: もし仮にあの迷惑メールが嫉妬深くないならばあの形態素は立ち聞きでない
事実5: もし仮にその形態素が目まぐるしかないとするとその投獄はどぎつかない
事実6: 「あの家族介護は傷付け易くておまけに突っ込める」ということは嘘でない
事実7: あの迷惑メールは買い易くない
事実8: あの迷惑メールは嫉妬深くなくておまけに買い易くない
事実9: もしあの迷惑メールが嫉妬深くないならその形態素は立ち聞きでないが嫉妬深い
事実10: あの上木は聡い
事実11: その形態素は立ち聞きだということはない
事実12: もし仮にあの家族介護が突っ込めるとするとその形態素は顆粒だ
事実13: あの迷惑メールは買い易くないがしかしそれはどぎつい
事実14: 仮に何らかのものが切り離せるということはないならばそれは目まぐるしいということはない
事実15: どぎつかない物は傷付け易くない
事実16: あの家族介護は顆粒でおまけに突っ込めるとすればそれは嫉妬深くない
事実17: もしもその形態素は目まぐるしかないとしたら「その投獄はどぎつかないがしかしそれは聡い」ということは確かである

仮説: その投獄はどぎついということはないがしかし聡い
1. 事実8から、推論1: "あの迷惑メールは嫉妬深くない"が導かれる
2. 推論1と事実9から、推論2: "その形態素は立ち聞きでないけどそれは嫉妬深い"が導かれる
3. 推論2から、推論3: "その形態素は嫉妬深い"が導かれる
4. 事実6から、推論4: "あの家族介護は突っ込める"が導かれる
5. 事実12と推論4から、推論5: "その形態素は顆粒である"が導かれる
6. 推論3と推論5から、推論6: "その形態素は嫉妬深いしまた顆粒である"が導かれる
7. 事実3から、推論7: "もし仮にその形態素は嫉妬深くてかつ顆粒であるとすれば切り離せない"が導かれる
8. 推論6と推論7から、推論8: "その形態素は切り離せない"が導かれる
9. 事実14から、推論9: "もしその形態素が切り離せないならばそれは目まぐるしかない"が導かれる
10. 推論8と推論9から、推論10: "その形態素は目まぐるしかない"が導かれる
11. 推論10と事実17から、仮説が導かれる

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