その町内は総合職でない
fact1: この中心窩は放つ fact2: この近代編は吹っ掛ける fact3: この中心窩は公正価値ヘッジでない fact4: もし仮にこの中心窩が放つとすると吹っ掛けない fact5: この六年正月吉日刊は放つ fact6: 「もしもこの中心窩が吹っ掛けないならばこの中心窩は公正価値ヘッジでない」ということは本当だ fact7: 仮にこの中心窩が毒々しかないしその上それが公正価値ヘッジでないとするとその町内は総合職であるということはない fact8: 何らかの物が吹っ掛けないならそれは毒々しかないし公正価値ヘッジでない
fact8 -> int1: もしもこの中心窩が吹っ掛けないとしたらそれは毒々しかなくて更に公正価値ヘッジでない; fact1 & fact4 -> int2: この中心窩は吹っ掛けない; int1 & int2 -> int3: この中心窩は毒々しかないしそれは公正価値ヘッジでない; int3 & fact7 -> hypothesis;
$facts$ = fact1: この中心窩は放つ fact2: この近代編は吹っ掛ける fact3: この中心窩は公正価値ヘッジでない fact4: もし仮にこの中心窩が放つとすると吹っ掛けない fact5: この六年正月吉日刊は放つ fact6: 「もしもこの中心窩が吹っ掛けないならばこの中心窩は公正価値ヘッジでない」ということは本当だ fact7: 仮にこの中心窩が毒々しかないしその上それが公正価値ヘッジでないとするとその町内は総合職であるということはない fact8: 何らかの物が吹っ掛けないならそれは毒々しかないし公正価値ヘッジでない ; $hypothesis$ = その町内は総合職でない ; $proof$ = 
fact8 -> int1: もしもこの中心窩が吹っ掛けないとしたらそれは毒々しかなくて更に公正価値ヘッジでない; fact1 & fact4 -> int2: この中心窩は吹っ掛けない; int1 & int2 -> int3: この中心窩は毒々しかないしそれは公正価値ヘッジでない; int3 & fact7 -> hypothesis; __PROVED__
事実1: この中心窩は放つ
事実2: この近代編は吹っ掛ける
事実3: この中心窩は公正価値ヘッジでない
事実4: もし仮にこの中心窩が放つとすると吹っ掛けない
事実5: この六年正月吉日刊は放つ
事実6: 「もしもこの中心窩が吹っ掛けないならばこの中心窩は公正価値ヘッジでない」ということは本当だ
事実7: 仮にこの中心窩が毒々しかないしその上それが公正価値ヘッジでないとするとその町内は総合職であるということはない
事実8: 何らかの物が吹っ掛けないならそれは毒々しかないし公正価値ヘッジでない

仮説: その町内は総合職でない
1. 事実8から、推論1: "もしもこの中心窩が吹っ掛けないとしたらそれは毒々しかなくて更に公正価値ヘッジでない"が導かれる
2. 事実1と事実4から、推論2: "この中心窩は吹っ掛けない"が導かれる
3. 推論1と推論2から、推論3: "この中心窩は毒々しかないしそれは公正価値ヘッジでない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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