この事実は吸水する
fact1: あの一息は吸水する fact2: このプラグインは吸水する fact3: 仮になにがしかのものは買い易いなら「それは吸水するが聡いということはない」ということは本当でない fact4: この事実は吸水する fact5: 仮になにかは塩辛いとするとそれは買い易い
fact4 -> hypothesis;
fact4 -> hypothesis;
この事実は吸水しない
fact6 -> int1: もしこのちゅぷは買い易いとすると「それが吸水するしその上聡いということはない」ということは間違いだ; fact7 -> int2: もしこのちゅぷが塩辛いとすると買い易い;
$facts$ = fact1: あの一息は吸水する fact2: このプラグインは吸水する fact3: 仮になにがしかのものは買い易いなら「それは吸水するが聡いということはない」ということは本当でない fact4: この事実は吸水する fact5: 仮になにかは塩辛いとするとそれは買い易い ; $hypothesis$ = この事実は吸水する ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの一息は吸水する
事実2: このプラグインは吸水する
事実3: 仮になにがしかのものは買い易いなら「それは吸水するが聡いということはない」ということは本当でない
事実4: この事実は吸水する
事実5: 仮になにかは塩辛いとするとそれは買い易い

仮説: この事実は吸水する
1. 事実4から、仮説が導かれる

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