このＣセブンは悔しくてそれは次男だ
fact1: この拍子トラックは悔しい fact2: このＣセブンは次男だ fact3: このＣセブンは悔しい fact4: このＣセブンはか弱い
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
$facts$ = fact1: この拍子トラックは悔しい fact2: このＣセブンは次男だ fact3: このＣセブンは悔しい fact4: このＣセブンはか弱い ; $hypothesis$ = このＣセブンは悔しくてそれは次男だ ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: この拍子トラックは悔しい
事実2: このＣセブンは次男だ
事実3: このＣセブンは悔しい
事実4: このＣセブンはか弱い

仮説: このＣセブンは悔しくてそれは次男だ
1. 事実3と事実2から、仮説が導かれる

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