そのタウン誌は茶色い
fact1: そのタウン誌は茶色い fact2: 「何らかのものは植え付け後でない」ということは事実であるとしたらそれは民主化するしかつ浴用石鹸である fact3: 「流れ易くない」物はある fact4: あの大革命は茶色い fact5: そのタウン誌は充満する fact6: あの国・郡は茶色い
fact1 -> hypothesis;
fact1 -> hypothesis;
「そのタウン誌は茶色くない」ということは確かだ
fact7 -> int1: その製鋼工場が植え付け後であるということはないとすると民主化するし加えてそれは浴用石鹸である;
$facts$ = fact1: そのタウン誌は茶色い fact2: 「何らかのものは植え付け後でない」ということは事実であるとしたらそれは民主化するしかつ浴用石鹸である fact3: 「流れ易くない」物はある fact4: あの大革命は茶色い fact5: そのタウン誌は充満する fact6: あの国・郡は茶色い ; $hypothesis$ = そのタウン誌は茶色い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: そのタウン誌は茶色い
事実2: 「何らかのものは植え付け後でない」ということは事実であるとしたらそれは民主化するしかつ浴用石鹸である
事実3: 「流れ易くない」物はある
事実4: あの大革命は茶色い
事実5: そのタウン誌は充満する
事実6: あの国・郡は茶色い

仮説: そのタウン誌は茶色い
1. 事実1から、仮説が導かれる

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