このタイガースは大当たりする
fact1: 仮にあるものが想像し易いなら大当たりする fact2: 「このタイガースは全労働者だ」ということは真実だ fact3: 地方委員会は想像し易い fact4: この車好きは大当たりする fact5: この鷹は大当たりする fact6: このタイガースは大当たりする
fact6 -> hypothesis;
fact6 -> hypothesis;
その即死は大当たりする
fact7 -> int1: 仮に「その即死は想像し易くない」ということは事実と異なれば大当たりする; fact8 -> int2: もしもその即死が地方委員会だとすれば想像し易い;
$facts$ = fact1: 仮にあるものが想像し易いなら大当たりする fact2: 「このタイガースは全労働者だ」ということは真実だ fact3: 地方委員会は想像し易い fact4: この車好きは大当たりする fact5: この鷹は大当たりする fact6: このタイガースは大当たりする ; $hypothesis$ = このタイガースは大当たりする ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にあるものが想像し易いなら大当たりする
事実2: 「このタイガースは全労働者だ」ということは真実だ
事実3: 地方委員会は想像し易い
事実4: この車好きは大当たりする
事実5: この鷹は大当たりする
事実6: このタイガースは大当たりする

仮説: このタイガースは大当たりする
1. 事実6から、仮説が導かれる

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