そのトリソミーはまあるい
fact1: あの日数計算は財産権だとしたら「この自立支援は十月勅令だ一方で財産権でない」ということは成り立たない fact2: 見られ易いし冷たくないものはある fact3: もし仮に「見られ易くないししかも冷たくない」ものがあるならあの日数計算は財産権だ fact4: もし仮に「この自立支援は十月勅令であるが財産権でない」ということは確かでないとすればあのトリソミーはまあるくない fact5: 「見られ易くないしかつ冷たくない」ものはある
fact5 & fact3 -> int1: 「あの日数計算は財産権である」ということは正しい; int1 & fact1 -> int2: 「この自立支援は十月勅令であるがそれは財産権でない」ということは成り立たない; int2 & fact4 -> hypothesis;
$facts$ = fact1: あの日数計算は財産権だとしたら「この自立支援は十月勅令だ一方で財産権でない」ということは成り立たない fact2: 見られ易いし冷たくないものはある fact3: もし仮に「見られ易くないししかも冷たくない」ものがあるならあの日数計算は財産権だ fact4: もし仮に「この自立支援は十月勅令であるが財産権でない」ということは確かでないとすればあのトリソミーはまあるくない fact5: 「見られ易くないしかつ冷たくない」ものはある ; $hypothesis$ = そのトリソミーはまあるい ; $proof$ = 
fact5 & fact3 -> int1: 「あの日数計算は財産権である」ということは正しい; int1 & fact1 -> int2: 「この自立支援は十月勅令であるがそれは財産権でない」ということは成り立たない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あの日数計算は財産権だとしたら「この自立支援は十月勅令だ一方で財産権でない」ということは成り立たない
事実2: 見られ易いし冷たくないものはある
事実3: もし仮に「見られ易くないししかも冷たくない」ものがあるならあの日数計算は財産権だ
事実4: もし仮に「この自立支援は十月勅令であるが財産権でない」ということは確かでないとすればあのトリソミーはまあるくない
事実5: 「見られ易くないしかつ冷たくない」ものはある

仮説: そのトリソミーはまあるい
1. 事実5と事実3から、推論1: "「あの日数計算は財産権である」ということは正しい"が導かれる
2. 推論1と事実1から、推論2: "「この自立支援は十月勅令であるがそれは財産権でない」ということは成り立たない"が導かれる
3. 推論2と事実4から、仮説が否定される

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