その都市沿岸域は愛読しない
fact1: その都市沿岸域は愛読するということはない fact2: 熱っぽくない物はグラニュー糖で愛読する fact3: この竈神は愛読するということはない fact4: もしなんらかの物が脳幹網様体でないがしかしそれが洗うなら熱っぽくない
fact1 -> hypothesis;
fact1 -> hypothesis;
その都市沿岸域は愛読する
fact5 -> int1: もし仮にその都市沿岸域が熱っぽくないとするとそれはグラニュー糖であるしかつ愛読する; fact6 -> int2: もし仮にその都市沿岸域は脳幹網様体だということはないけれど洗うとするとそれは熱っぽくない;
$facts$ = fact1: その都市沿岸域は愛読するということはない fact2: 熱っぽくない物はグラニュー糖で愛読する fact3: この竈神は愛読するということはない fact4: もしなんらかの物が脳幹網様体でないがしかしそれが洗うなら熱っぽくない ; $hypothesis$ = その都市沿岸域は愛読しない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その都市沿岸域は愛読するということはない
事実2: 熱っぽくない物はグラニュー糖で愛読する
事実3: この竈神は愛読するということはない
事実4: もしなんらかの物が脳幹網様体でないがしかしそれが洗うなら熱っぽくない

仮説: その都市沿岸域は愛読しない
1. 事実1から、仮説が導かれる

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