もし仮にその見覚えが株式持ち合い比率でないならあの郵政民営化問題は振り解く
fact1: なにがしかの物が株式持ち合い比率でないとすればそれは危なっかしいということはない fact2: 株式持ち合い比率は危なっかしくないし田舎っぽくない fact3: もしその見覚えが株式持ち合い比率であるとしたらあの郵政民営化問題は振り解く fact4: 仮にその見覚えが危なっかしくないし更に田舎っぽくないとしたらあの郵政民営化問題は振り解く fact5: 何らかの物が株式持ち合い比率であるということはないならば危なっかしくないし田舎っぽくない fact6: もしもその見覚えは株式持ち合い比率でないなら危なっかしくない fact7: その見覚えは危なっかしいということはない fact8: もし仮にあの郵政民営化問題が危なっかしくないならその見覚えは振り解く fact9: もしその見覚えが株式持ち合い比率ならば危なっかしくないし田舎っぽくない
fact5 -> int1: もしもその見覚えは株式持ち合い比率でないならばそれは危なっかしくないしかつ田舎っぽいということはない; void -> assump1: 以下のように仮定する。その見覚えは株式持ち合い比率でない; int1 & assump1 -> int2: その見覚えは危なっかしくないしそれは田舎っぽくない; int2 & fact4 -> int3: あの郵政民営化問題は振り解く; [assump1] & int3 -> hypothesis;
$facts$ = fact1: なにがしかの物が株式持ち合い比率でないとすればそれは危なっかしいということはない fact2: 株式持ち合い比率は危なっかしくないし田舎っぽくない fact3: もしその見覚えが株式持ち合い比率であるとしたらあの郵政民営化問題は振り解く fact4: 仮にその見覚えが危なっかしくないし更に田舎っぽくないとしたらあの郵政民営化問題は振り解く fact5: 何らかの物が株式持ち合い比率であるということはないならば危なっかしくないし田舎っぽくない fact6: もしもその見覚えは株式持ち合い比率でないなら危なっかしくない fact7: その見覚えは危なっかしいということはない fact8: もし仮にあの郵政民営化問題が危なっかしくないならその見覚えは振り解く fact9: もしその見覚えが株式持ち合い比率ならば危なっかしくないし田舎っぽくない ; $hypothesis$ = もし仮にその見覚えが株式持ち合い比率でないならあの郵政民営化問題は振り解く ; $proof$ = 
fact5 -> int1: もしもその見覚えは株式持ち合い比率でないならばそれは危なっかしくないしかつ田舎っぽいということはない; void -> assump1: 以下のように仮定する。その見覚えは株式持ち合い比率でない; int1 & assump1 -> int2: その見覚えは危なっかしくないしそれは田舎っぽくない; int2 & fact4 -> int3: あの郵政民営化問題は振り解く; [assump1] & int3 -> hypothesis; __PROVED__
事実1: なにがしかの物が株式持ち合い比率でないとすればそれは危なっかしいということはない
事実2: 株式持ち合い比率は危なっかしくないし田舎っぽくない
事実3: もしその見覚えが株式持ち合い比率であるとしたらあの郵政民営化問題は振り解く
事実4: 仮にその見覚えが危なっかしくないし更に田舎っぽくないとしたらあの郵政民営化問題は振り解く
事実5: 何らかの物が株式持ち合い比率であるということはないならば危なっかしくないし田舎っぽくない
事実6: もしもその見覚えは株式持ち合い比率でないなら危なっかしくない
事実7: その見覚えは危なっかしいということはない
事実8: もし仮にあの郵政民営化問題が危なっかしくないならその見覚えは振り解く
事実9: もしその見覚えが株式持ち合い比率ならば危なっかしくないし田舎っぽくない

仮説: もし仮にその見覚えが株式持ち合い比率でないならあの郵政民営化問題は振り解く
1. 事実5から、推論1: "もしもその見覚えは株式持ち合い比率でないならばそれは危なっかしくないしかつ田舎っぽいということはない"が導かれる
2. 仮定1: 以下のように仮定する。その見覚えは株式持ち合い比率でない
3. 推論1と仮定1から、推論2: "その見覚えは危なっかしくないしそれは田舎っぽくない"が導かれる
4. 推論2と事実4から、推論3: "あの郵政民営化問題は振り解く"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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