その先制はＤＩＧでないけどそれは手向ける
fact1: とある物が自転するとするとそれはＤＩＧでないけれど手向ける fact2: もしもこの各管理職者が用心深いならばその先制は自転する fact3: この各管理職者は疲労困憊するし用心深い
fact3 -> int1: この各管理職者は用心深い; int1 & fact2 -> int2: その先制は自転する; fact1 -> int3: もしその先制が自転するとするとそれはＤＩＧでないしまたそれは手向ける; int2 & int3 -> hypothesis;
$facts$ = fact1: とある物が自転するとするとそれはＤＩＧでないけれど手向ける fact2: もしもこの各管理職者が用心深いならばその先制は自転する fact3: この各管理職者は疲労困憊するし用心深い ; $hypothesis$ = その先制はＤＩＧでないけどそれは手向ける ; $proof$ = 
fact3 -> int1: この各管理職者は用心深い; int1 & fact2 -> int2: その先制は自転する; fact1 -> int3: もしその先制が自転するとするとそれはＤＩＧでないしまたそれは手向ける; int2 & int3 -> hypothesis; __PROVED__
事実1: とある物が自転するとするとそれはＤＩＧでないけれど手向ける
事実2: もしもこの各管理職者が用心深いならばその先制は自転する
事実3: この各管理職者は疲労困憊するし用心深い

仮説: その先制はＤＩＧでないけどそれは手向ける
1. 事実3から、推論1: "この各管理職者は用心深い"が導かれる
2. 推論1と事実2から、推論2: "その先制は自転する"が導かれる
3. 事実1から、推論3: "もしその先制が自転するとするとそれはＤＩＧでないしまたそれは手向ける"が導かれる
4. 推論2と推論3から、仮説が導かれる

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