あの生産年齢人口は思慮深くない
fact1: もし仮になにかは受けるし砂糖君であるとしたら「それは踏襲するということはない」ということは確かである fact2: あの生産年齢人口は受ける fact3: もしも「あの生産年齢人口は明るいしかつ憂い」ということは真実でないとすればそれは辛くない fact4: もし何かは踏襲するということはないとしたら「それは明るいしおまけに憂い」ということは嘘である fact5: このＧＣＴＣは探し易いしかつそれは辛い fact6: このＧＣＴＣは辛い fact7: このＧＣＴＣは思慮深い fact8: もし仮に何かは明るいならば「それは辛くないし更に探し易くない」ということは誤りである fact9: もし仮にとあるものが憂いなら明るい fact10: もし仮にこのＧＣＴＣが探し易いとするとあの生産年齢人口は思慮深い fact11: もしも何らかのものは辛くないとしたら「思慮深くてさらに探し易いということはない」ということは真実でない fact12: もしも「何らかのものは思慮深いけど探し易くない」ということは成り立たないなら探し易い
fact5 -> int1: このＧＣＴＣは探し易い; int1 & fact10 -> hypothesis;
あの生産年齢人口は思慮深いということはない
fact14 -> int2: 仮にこのＧＣＴＣは明るいならば「辛くないしそれは探し易くない」ということは成り立つということはない; fact13 -> int3: 仮にこのＧＣＴＣが憂いとしたら明るい;
$facts$ = fact1: もし仮になにかは受けるし砂糖君であるとしたら「それは踏襲するということはない」ということは確かである fact2: あの生産年齢人口は受ける fact3: もしも「あの生産年齢人口は明るいしかつ憂い」ということは真実でないとすればそれは辛くない fact4: もし何かは踏襲するということはないとしたら「それは明るいしおまけに憂い」ということは嘘である fact5: このＧＣＴＣは探し易いしかつそれは辛い fact6: このＧＣＴＣは辛い fact7: このＧＣＴＣは思慮深い fact8: もし仮に何かは明るいならば「それは辛くないし更に探し易くない」ということは誤りである fact9: もし仮にとあるものが憂いなら明るい fact10: もし仮にこのＧＣＴＣが探し易いとするとあの生産年齢人口は思慮深い fact11: もしも何らかのものは辛くないとしたら「思慮深くてさらに探し易いということはない」ということは真実でない fact12: もしも「何らかのものは思慮深いけど探し易くない」ということは成り立たないなら探し易い ; $hypothesis$ = あの生産年齢人口は思慮深くない ; $proof$ = 
fact5 -> int1: このＧＣＴＣは探し易い; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは受けるし砂糖君であるとしたら「それは踏襲するということはない」ということは確かである
事実2: あの生産年齢人口は受ける
事実3: もしも「あの生産年齢人口は明るいしかつ憂い」ということは真実でないとすればそれは辛くない
事実4: もし何かは踏襲するということはないとしたら「それは明るいしおまけに憂い」ということは嘘である
事実5: このＧＣＴＣは探し易いしかつそれは辛い
事実6: このＧＣＴＣは辛い
事実7: このＧＣＴＣは思慮深い
事実8: もし仮に何かは明るいならば「それは辛くないし更に探し易くない」ということは誤りである
事実9: もし仮にとあるものが憂いなら明るい
事実10: もし仮にこのＧＣＴＣが探し易いとするとあの生産年齢人口は思慮深い
事実11: もしも何らかのものは辛くないとしたら「思慮深くてさらに探し易いということはない」ということは真実でない
事実12: もしも「何らかのものは思慮深いけど探し易くない」ということは成り立たないなら探し易い

仮説: あの生産年齢人口は思慮深くない
1. 事実5から、推論1: "このＧＣＴＣは探し易い"が導かれる
2. 推論1と事実10から、仮説が否定される

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