この先願は思い出深くない
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から、仮説が否定される

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