この失業対策は生き難い
fact1: この肢体不自由者は呻かない fact2: もしもこの肢体不自由者がふわふわするが呻かないならこの失業対策は生き難い fact3: この失業対策が生き難いけどそれはふわふわしないとすると「この肢体不自由者は呻く」ということは正しい fact4: もしもこの失業対策はふわふわするけど呻かないならば「この肢体不自由者は生き難い」ということは誤っていない fact5: この肢体不自由者はふわふわするけどそれは呻かない
fact2 & fact5 -> hypothesis;
fact2 & fact5 -> hypothesis;
$facts$ = fact1: この肢体不自由者は呻かない fact2: もしもこの肢体不自由者がふわふわするが呻かないならこの失業対策は生き難い fact3: この失業対策が生き難いけどそれはふわふわしないとすると「この肢体不自由者は呻く」ということは正しい fact4: もしもこの失業対策はふわふわするけど呻かないならば「この肢体不自由者は生き難い」ということは誤っていない fact5: この肢体不自由者はふわふわするけどそれは呻かない ; $hypothesis$ = この失業対策は生き難い ; $proof$ = 
fact2 & fact5 -> hypothesis; __PROVED__
事実1: この肢体不自由者は呻かない
事実2: もしもこの肢体不自由者がふわふわするが呻かないならこの失業対策は生き難い
事実3: この失業対策が生き難いけどそれはふわふわしないとすると「この肢体不自由者は呻く」ということは正しい
事実4: もしもこの失業対策はふわふわするけど呻かないならば「この肢体不自由者は生き難い」ということは誤っていない
事実5: この肢体不自由者はふわふわするけどそれは呻かない

仮説: この失業対策は生き難い
1. 事実2と事実5から、仮説が導かれる

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