この帰属者は取れ易くないし根深くない
fact1: その体制改革は呻吟する fact2: この帰属者は根深くない fact3: すべては惨たらしくない fact4: もし仮にその張り出しが呻吟するならこの帰属者は取れ易くないしその上根深いということはない fact5: その張り出しは呻吟する
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
「この帰属者は取れ易くないし根深いということはない」ということは成り立たない
fact6 -> int1: 「その張り出しは惨たらしいということはない」ということは事実である; int1 -> int2: その張り出しは惨たらしくないかまたはそれは脱皮しない;
$facts$ = fact1: その体制改革は呻吟する fact2: この帰属者は根深くない fact3: すべては惨たらしくない fact4: もし仮にその張り出しが呻吟するならこの帰属者は取れ易くないしその上根深いということはない fact5: その張り出しは呻吟する ; $hypothesis$ = この帰属者は取れ易くないし根深くない ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: その体制改革は呻吟する
事実2: この帰属者は根深くない
事実3: すべては惨たらしくない
事実4: もし仮にその張り出しが呻吟するならこの帰属者は取れ易くないしその上根深いということはない
事実5: その張り出しは呻吟する

仮説: この帰属者は取れ易くないし根深くない
1. 事実4と事実5から、仮説が導かれる

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