この桔梗は若々しかない
fact1: もし仮に「「義絶しなくてかつ抜け出る」ということは事実と異なる」ものがあればこの桔梗は若々しい fact2: もし「抜け出ない」物があるとするとこの桔梗は若々しい fact3: 「「義絶しなくてその上抜け出る」ということは誤っている」物はある
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「「義絶しなくてかつ抜け出る」ということは事実と異なる」ものがあればこの桔梗は若々しい fact2: もし「抜け出ない」物があるとするとこの桔梗は若々しい fact3: 「「義絶しなくてその上抜け出る」ということは誤っている」物はある ; $hypothesis$ = この桔梗は若々しかない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「「義絶しなくてかつ抜け出る」ということは事実と異なる」ものがあればこの桔梗は若々しい
事実2: もし「抜け出ない」物があるとするとこの桔梗は若々しい
事実3: 「「義絶しなくてその上抜け出る」ということは誤っている」物はある

仮説: この桔梗は若々しかない
1. 事実3と事実1から、仮説が否定される

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