このケアマネジャーはＸボックスであるし程良い
fact1: 仮に「なにかは積層する」ということは本当だとしたら程良い fact2: もしもそのバックネットが契約条項だとすればこのケアマネジャーはＸボックスだ fact3: もし仮にこのケアマネジャーが契約条項だとすればそのバックネットは主キーである fact4: 仮にその飲料用が契約条項であるとすればあのケアマネジャーは契約条項だ fact5: 「主キーであるしさらに面白おかしい」ものはある fact6: もし仮に面白おかしい主キーがあるとすればあのケアマネジャーは積層する fact7: 何らかの物は主キーだ fact8: そのバックネットは契約条項で加えて煩わしい fact9: 何らかの物は面白おかしい fact10: そのバックネットは煩わしい
fact8 -> int1: そのバックネットは契約条項だ; int1 & fact2 -> int2: このケアマネジャーはＸボックスだ; fact6 & fact5 -> int3: このケアマネジャーは積層する; fact1 -> int4: もしこのケアマネジャーが積層するとするとそれは程良い; int3 & int4 -> int5: このケアマネジャーは程良い; int2 & int5 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; fact6 & fact5 -> int3: {E}{b}; fact1 -> int4: {E}{b} -> {D}{b}; int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
そのバックネットは主キーである
$facts$ = fact1: 仮に「なにかは積層する」ということは本当だとしたら程良い fact2: もしもそのバックネットが契約条項だとすればこのケアマネジャーはＸボックスだ fact3: もし仮にこのケアマネジャーが契約条項だとすればそのバックネットは主キーである fact4: 仮にその飲料用が契約条項であるとすればあのケアマネジャーは契約条項だ fact5: 「主キーであるしさらに面白おかしい」ものはある fact6: もし仮に面白おかしい主キーがあるとすればあのケアマネジャーは積層する fact7: 何らかの物は主キーだ fact8: そのバックネットは契約条項で加えて煩わしい fact9: 何らかの物は面白おかしい fact10: そのバックネットは煩わしい ; $hypothesis$ = このケアマネジャーはＸボックスであるし程良い ; $proof$ = 
fact8 -> int1: そのバックネットは契約条項だ; int1 & fact2 -> int2: このケアマネジャーはＸボックスだ; fact6 & fact5 -> int3: このケアマネジャーは積層する; fact1 -> int4: もしこのケアマネジャーが積層するとするとそれは程良い; int3 & int4 -> int5: このケアマネジャーは程良い; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮に「なにかは積層する」ということは本当だとしたら程良い
事実2: もしもそのバックネットが契約条項だとすればこのケアマネジャーはＸボックスだ
事実3: もし仮にこのケアマネジャーが契約条項だとすればそのバックネットは主キーである
事実4: 仮にその飲料用が契約条項であるとすればあのケアマネジャーは契約条項だ
事実5: 「主キーであるしさらに面白おかしい」ものはある
事実6: もし仮に面白おかしい主キーがあるとすればあのケアマネジャーは積層する
事実7: 何らかの物は主キーだ
事実8: そのバックネットは契約条項で加えて煩わしい
事実9: 何らかの物は面白おかしい
事実10: そのバックネットは煩わしい

仮説: このケアマネジャーはＸボックスであるし程良い
1. 事実8から、推論1: "そのバックネットは契約条項だ"が導かれる
2. 推論1と事実2から、推論2: "このケアマネジャーはＸボックスだ"が導かれる
3. 事実6と事実5から、推論3: "このケアマネジャーは積層する"が導かれる
4. 事実1から、推論4: "もしこのケアマネジャーが積層するとするとそれは程良い"が導かれる
5. 推論3と推論4から、推論5: "このケアマネジャーは程良い"が導かれる
6. 推論2と推論5から、仮説が導かれる

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