その活計は持て成さない
fact1: もしあのティールームが読み易くないならばそれは分配しないけれど関す fact2: その活計が生じ難くないしかつ分配しないならこの高コレステロールは生じ難い fact3: この潜在需要は緩衝である fact4: 何かは義務化だ fact5: あのティールームは読み易いということはない fact6: もしもすげなくない物は緩衝であるとしたら下げ緒である fact7: すべては義務化であるしその上それは関す fact8: 仮に「「下げ緒であるし義務化である」ということは成り立つ」物があるとするとその活計は持て成すということはない fact9: この潜在需要はすげないということはない
fact6 -> int1: もし仮にこの潜在需要がすげなくないが緩衝であるならばそれは下げ緒である; fact3 & fact9 -> int2: この潜在需要はすげなくない一方でそれは緩衝である; int1 & int2 -> int3: この潜在需要は下げ緒である; fact7 -> int4: この潜在需要は義務化で関す; int4 -> int5: この潜在需要は義務化である; int3 & int5 -> int6: この潜在需要は下げ緒であるしまた義務化である; int6 -> int7: なんらかの物が下げ緒だしさらに義務化だ; int7 & fact8 -> hypothesis;
この高コレステロールは生じ難いしそれに低し
$facts$ = fact1: もしあのティールームが読み易くないならばそれは分配しないけれど関す fact2: その活計が生じ難くないしかつ分配しないならこの高コレステロールは生じ難い fact3: この潜在需要は緩衝である fact4: 何かは義務化だ fact5: あのティールームは読み易いということはない fact6: もしもすげなくない物は緩衝であるとしたら下げ緒である fact7: すべては義務化であるしその上それは関す fact8: 仮に「「下げ緒であるし義務化である」ということは成り立つ」物があるとするとその活計は持て成すということはない fact9: この潜在需要はすげないということはない ; $hypothesis$ = その活計は持て成さない ; $proof$ = 
fact6 -> int1: もし仮にこの潜在需要がすげなくないが緩衝であるならばそれは下げ緒である; fact3 & fact9 -> int2: この潜在需要はすげなくない一方でそれは緩衝である; int1 & int2 -> int3: この潜在需要は下げ緒である; fact7 -> int4: この潜在需要は義務化で関す; int4 -> int5: この潜在需要は義務化である; int3 & int5 -> int6: この潜在需要は下げ緒であるしまた義務化である; int6 -> int7: なんらかの物が下げ緒だしさらに義務化だ; int7 & fact8 -> hypothesis; __PROVED__
事実1: もしあのティールームが読み易くないならばそれは分配しないけれど関す
事実2: その活計が生じ難くないしかつ分配しないならこの高コレステロールは生じ難い
事実3: この潜在需要は緩衝である
事実4: 何かは義務化だ
事実5: あのティールームは読み易いということはない
事実6: もしもすげなくない物は緩衝であるとしたら下げ緒である
事実7: すべては義務化であるしその上それは関す
事実8: 仮に「「下げ緒であるし義務化である」ということは成り立つ」物があるとするとその活計は持て成すということはない
事実9: この潜在需要はすげないということはない

仮説: その活計は持て成さない
1. 事実6から、推論1: "もし仮にこの潜在需要がすげなくないが緩衝であるならばそれは下げ緒である"が導かれる
2. 事実3と事実9から、推論2: "この潜在需要はすげなくない一方でそれは緩衝である"が導かれる
3. 推論1と推論2から、推論3: "この潜在需要は下げ緒である"が導かれる
4. 事実7から、推論4: "この潜在需要は義務化で関す"が導かれる
5. 推論4から、推論5: "この潜在需要は義務化である"が導かれる
6. 推論3と推論5から、推論6: "この潜在需要は下げ緒であるしまた義務化である"が導かれる
7. 推論6から、推論7: "なんらかの物が下げ緒だしさらに義務化だ"が導かれる
8. 推論7と事実8から、仮説が導かれる

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