「「叩き払わない」ということは真実な」物はある
fact1: 「「黍でない」ということは確かである」ものはある fact2: あの相関図は紳士らしい fact3: この販売開始は紳士らしいということはない fact4: 仮にあの相関図が紳士らしいし叩き払うとすればあの行啓は結い上げるということはない fact5: あの相関図は叩き払うということはないがしかし紳士らしい fact6: あの相関図は推量出来ない
fact5 -> int1: あの相関図は叩き払わない; int1 -> hypothesis;
あの行啓は結い上げない
$facts$ = fact1: 「「黍でない」ということは確かである」ものはある fact2: あの相関図は紳士らしい fact3: この販売開始は紳士らしいということはない fact4: 仮にあの相関図が紳士らしいし叩き払うとすればあの行啓は結い上げるということはない fact5: あの相関図は叩き払うということはないがしかし紳士らしい fact6: あの相関図は推量出来ない ; $hypothesis$ = 「「叩き払わない」ということは真実な」物はある ; $proof$ = 
fact5 -> int1: あの相関図は叩き払わない; int1 -> hypothesis; __PROVED__
事実1: 「「黍でない」ということは確かである」ものはある
事実2: あの相関図は紳士らしい
事実3: この販売開始は紳士らしいということはない
事実4: 仮にあの相関図が紳士らしいし叩き払うとすればあの行啓は結い上げるということはない
事実5: あの相関図は叩き払うということはないがしかし紳士らしい
事実6: あの相関図は推量出来ない

仮説: 「「叩き払わない」ということは真実な」物はある
1. 事実5から、推論1: "あの相関図は叩き払わない"が導かれる
2. 推論1から、仮説が導かれる

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