この自由論は御尋ねる
fact1: この自由論は試飲するということはない一方でそれは回顧する fact2: この自由論は早しということはない一方で再スタートする fact3: この自由論は試飲するということはない fact4: もしもこの自由論は試飲しないけれど回顧するなら御尋ねるということはない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: この自由論は試飲するということはない一方でそれは回顧する fact2: この自由論は早しということはない一方で再スタートする fact3: この自由論は試飲するということはない fact4: もしもこの自由論は試飲しないけれど回顧するなら御尋ねるということはない ; $hypothesis$ = この自由論は御尋ねる ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: この自由論は試飲するということはない一方でそれは回顧する
事実2: この自由論は早しということはない一方で再スタートする
事実3: この自由論は試飲するということはない
事実4: もしもこの自由論は試飲しないけれど回顧するなら御尋ねるということはない

仮説: この自由論は御尋ねる
1. 事実4と事実1から、仮説が否定される

よって、仮説が否定されました。