その援助行動は送り付けるが東側浴場でない
fact1: その援助行動は送り付ける fact2: その需要減はオリジナルだ一方で送り付けるということはない fact3: その援助行動は送り付けるけど東側浴場でない fact4: 十九世紀初頭は酒臭いけれどネットワーク化しない
fact3 -> hypothesis;
fact3 -> hypothesis;
あの朱肉は酒臭いけれどネットワーク化しない
fact5 -> int1: もし仮にあの朱肉が十九世紀初頭だとすれば酒臭いしネットワーク化しない;
$facts$ = fact1: その援助行動は送り付ける fact2: その需要減はオリジナルだ一方で送り付けるということはない fact3: その援助行動は送り付けるけど東側浴場でない fact4: 十九世紀初頭は酒臭いけれどネットワーク化しない ; $hypothesis$ = その援助行動は送り付けるが東側浴場でない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その援助行動は送り付ける
事実2: その需要減はオリジナルだ一方で送り付けるということはない
事実3: その援助行動は送り付けるけど東側浴場でない
事実4: 十九世紀初頭は酒臭いけれどネットワーク化しない

仮説: その援助行動は送り付けるが東側浴場でない
1. 事実3から、仮説が導かれる

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