「あの住宅・都市整備公団は可笑しということはない一方で賑わう」ということは真実だ
fact1: もし何かは易しいとすればその広域は継続し難くないしまた分離し易くない fact2: もし仮にその広域が秋めくししかも役らしいならばあの枕カバーは賑わわない fact3: 継続し難くないものが分離し易いということはないならそれは役らしい fact4: もしもあの住宅・都市整備公団は賑わわないとすれば「その広域は継続し難い物で賑わう」ということは事実と異なる fact5: もしその枕カバーは賑わわないとすると「あの住宅・都市整備公団は可笑しない一方で賑わう」ということは嘘である fact6: なにがしかの物は易しい fact7: その広域は減点するしそれは内閣改造である fact8: もしも何らかの物が減点するなら秋めく fact9: 仮にとある物が秋めかない一方でそれが継続し難いとしたらそれは内閣改造である fact10: その大事件は継続し難いしおまけに電話番号である
fact6 & fact1 -> int1: その広域は継続し難くないしかつ分離し易くない; fact3 -> int2: もし仮にその広域が継続し難くないし分離し易いということはないとすれば役らしい; int1 & int2 -> int3: その広域は役らしい; fact8 -> int4: もしもその広域が減点するとすると秋めく; fact7 -> int5: その広域は減点する; int4 & int5 -> int6: その広域は秋めく; int3 & int6 -> int7: その広域は秋めくしかつそれは役らしい; int7 & fact2 -> int8: その枕カバーは賑わうということはない; int8 & fact5 -> hypothesis;
$facts$ = fact1: もし何かは易しいとすればその広域は継続し難くないしまた分離し易くない fact2: もし仮にその広域が秋めくししかも役らしいならばあの枕カバーは賑わわない fact3: 継続し難くないものが分離し易いということはないならそれは役らしい fact4: もしもあの住宅・都市整備公団は賑わわないとすれば「その広域は継続し難い物で賑わう」ということは事実と異なる fact5: もしその枕カバーは賑わわないとすると「あの住宅・都市整備公団は可笑しない一方で賑わう」ということは嘘である fact6: なにがしかの物は易しい fact7: その広域は減点するしそれは内閣改造である fact8: もしも何らかの物が減点するなら秋めく fact9: 仮にとある物が秋めかない一方でそれが継続し難いとしたらそれは内閣改造である fact10: その大事件は継続し難いしおまけに電話番号である ; $hypothesis$ = 「あの住宅・都市整備公団は可笑しということはない一方で賑わう」ということは真実だ ; $proof$ = 
fact6 & fact1 -> int1: その広域は継続し難くないしかつ分離し易くない; fact3 -> int2: もし仮にその広域が継続し難くないし分離し易いということはないとすれば役らしい; int1 & int2 -> int3: その広域は役らしい; fact8 -> int4: もしもその広域が減点するとすると秋めく; fact7 -> int5: その広域は減点する; int4 & int5 -> int6: その広域は秋めく; int3 & int6 -> int7: その広域は秋めくしかつそれは役らしい; int7 & fact2 -> int8: その枕カバーは賑わうということはない; int8 & fact5 -> hypothesis; __DISPROVED__
事実1: もし何かは易しいとすればその広域は継続し難くないしまた分離し易くない
事実2: もし仮にその広域が秋めくししかも役らしいならばあの枕カバーは賑わわない
事実3: 継続し難くないものが分離し易いということはないならそれは役らしい
事実4: もしもあの住宅・都市整備公団は賑わわないとすれば「その広域は継続し難い物で賑わう」ということは事実と異なる
事実5: もしその枕カバーは賑わわないとすると「あの住宅・都市整備公団は可笑しない一方で賑わう」ということは嘘である
事実6: なにがしかの物は易しい
事実7: その広域は減点するしそれは内閣改造である
事実8: もしも何らかの物が減点するなら秋めく
事実9: 仮にとある物が秋めかない一方でそれが継続し難いとしたらそれは内閣改造である
事実10: その大事件は継続し難いしおまけに電話番号である

仮説: 「あの住宅・都市整備公団は可笑しということはない一方で賑わう」ということは真実だ
1. 事実6と事実1から、推論1: "その広域は継続し難くないしかつ分離し易くない"が導かれる
2. 事実3から、推論2: "もし仮にその広域が継続し難くないし分離し易いということはないとすれば役らしい"が導かれる
3. 推論1と推論2から、推論3: "その広域は役らしい"が導かれる
4. 事実8から、推論4: "もしもその広域が減点するとすると秋めく"が導かれる
5. 事実7から、推論5: "その広域は減点する"が導かれる
6. 推論4と推論5から、推論6: "その広域は秋めく"が導かれる
7. 推論3と推論6から、推論7: "その広域は秋めくしかつそれは役らしい"が導かれる
8. 推論7と事実2から、推論8: "その枕カバーは賑わうということはない"が導かれる
9. 推論8と事実5から、仮説が否定される

よって、仮説が否定されました。