この都市文明は輝かしくない
fact1: 仮にあの有効期間中が及び難くないが見込み違いであるとするとこの都市文明は輝かしい fact2: あの有効期間中はしどけなくないがしかしスペイン憲法だ fact3: そのユーザ部門は見込み違いだということはないけどそれは揺るぎない fact4: あの有効期間中は見込み違いだ fact5: あの有効期間中は及び難くないけれど見込み違いだ fact6: 長細くないものは輝かしいかあるいはＨＥ染色であるか両方ともである fact7: もしもある物は今君でないとすれば「それはＨＥ染色であるし輝かしい」ということは成り立たない fact8: もし仮に「何らかの物はＨＥ染色であるしそれは輝かしい」ということは成り立たないとすれば輝かしくない fact9: この都市文明が輝かしくないが及び難いとするとあの有効期間中は見込み違いだ fact10: この酸漿は輝かしい
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
この都市文明は輝かしくない
fact12 -> int1: 「仮に「この都市文明はＨＥ染色で加えてそれは輝かしい」ということは間違いであるとするとこの都市文明は輝かしくない」ということは事実である; fact11 -> int2: もしこの都市文明は今君でないとしたら「ＨＥ染色でまた輝かしい」ということは誤っている;
$facts$ = fact1: 仮にあの有効期間中が及び難くないが見込み違いであるとするとこの都市文明は輝かしい fact2: あの有効期間中はしどけなくないがしかしスペイン憲法だ fact3: そのユーザ部門は見込み違いだということはないけどそれは揺るぎない fact4: あの有効期間中は見込み違いだ fact5: あの有効期間中は及び難くないけれど見込み違いだ fact6: 長細くないものは輝かしいかあるいはＨＥ染色であるか両方ともである fact7: もしもある物は今君でないとすれば「それはＨＥ染色であるし輝かしい」ということは成り立たない fact8: もし仮に「何らかの物はＨＥ染色であるしそれは輝かしい」ということは成り立たないとすれば輝かしくない fact9: この都市文明が輝かしくないが及び難いとするとあの有効期間中は見込み違いだ fact10: この酸漿は輝かしい ; $hypothesis$ = この都市文明は輝かしくない ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にあの有効期間中が及び難くないが見込み違いであるとするとこの都市文明は輝かしい
事実2: あの有効期間中はしどけなくないがしかしスペイン憲法だ
事実3: そのユーザ部門は見込み違いだということはないけどそれは揺るぎない
事実4: あの有効期間中は見込み違いだ
事実5: あの有効期間中は及び難くないけれど見込み違いだ
事実6: 長細くないものは輝かしいかあるいはＨＥ染色であるか両方ともである
事実7: もしもある物は今君でないとすれば「それはＨＥ染色であるし輝かしい」ということは成り立たない
事実8: もし仮に「何らかの物はＨＥ染色であるしそれは輝かしい」ということは成り立たないとすれば輝かしくない
事実9: この都市文明が輝かしくないが及び難いとするとあの有効期間中は見込み違いだ
事実10: この酸漿は輝かしい

仮説: この都市文明は輝かしくない
1. 事実1と事実5から、仮説が否定される

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