この日焼け止めは東西交流でないしおまけに御若くない
fact1: もしもなにがしかの物は影響され易くないかまたは盛運でないかもしくはどちらもだとすると盛運でない fact2: この日焼け止めは利き難いしさらに薄焼き卵だ fact3: 仮にあるものは盛運でないとすると利き難くないしさらに薄焼き卵でない fact4: もし仮にこの日焼け止めは薄焼き卵であるとすれば御若くない fact5: もし何かは薄焼き卵だということはないとしたら「それは東西交流でなくて御若くない」ということは誤りだ fact6: もし仮になんらかの物は薄焼き卵でないとするとそれは経腟分娩でないししかも潰走しない fact7: 薄焼き卵は東西交流でないし御若くない fact8: もしなんらかの物が運転資本管理でないとするとそれは盛運であるし更に利き難い fact9: この日焼け止めは利き難い
fact7 -> int1: もしこの日焼け止めが薄焼き卵だとしたら東西交流でないし御若くない; fact2 -> int2: この日焼け止めは薄焼き卵だ; int1 & int2 -> hypothesis;
fact7 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact2 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
この雪雲は経腟分娩でないしそれは潰走しない
fact11 -> int3: もし仮にこの雪雲が薄焼き卵でないならば経腟分娩でなくてかつ潰走しない; fact10 -> int4: この雪雲が運転資本管理であるということはないなら盛運であるしさらに利き難い;
$facts$ = fact1: もしもなにがしかの物は影響され易くないかまたは盛運でないかもしくはどちらもだとすると盛運でない fact2: この日焼け止めは利き難いしさらに薄焼き卵だ fact3: 仮にあるものは盛運でないとすると利き難くないしさらに薄焼き卵でない fact4: もし仮にこの日焼け止めは薄焼き卵であるとすれば御若くない fact5: もし何かは薄焼き卵だということはないとしたら「それは東西交流でなくて御若くない」ということは誤りだ fact6: もし仮になんらかの物は薄焼き卵でないとするとそれは経腟分娩でないししかも潰走しない fact7: 薄焼き卵は東西交流でないし御若くない fact8: もしなんらかの物が運転資本管理でないとするとそれは盛運であるし更に利き難い fact9: この日焼け止めは利き難い ; $hypothesis$ = この日焼け止めは東西交流でないしおまけに御若くない ; $proof$ = 
fact7 -> int1: もしこの日焼け止めが薄焼き卵だとしたら東西交流でないし御若くない; fact2 -> int2: この日焼け止めは薄焼き卵だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物は影響され易くないかまたは盛運でないかもしくはどちらもだとすると盛運でない
事実2: この日焼け止めは利き難いしさらに薄焼き卵だ
事実3: 仮にあるものは盛運でないとすると利き難くないしさらに薄焼き卵でない
事実4: もし仮にこの日焼け止めは薄焼き卵であるとすれば御若くない
事実5: もし何かは薄焼き卵だということはないとしたら「それは東西交流でなくて御若くない」ということは誤りだ
事実6: もし仮になんらかの物は薄焼き卵でないとするとそれは経腟分娩でないししかも潰走しない
事実7: 薄焼き卵は東西交流でないし御若くない
事実8: もしなんらかの物が運転資本管理でないとするとそれは盛運であるし更に利き難い
事実9: この日焼け止めは利き難い

仮説: この日焼け止めは東西交流でないしおまけに御若くない
1. 事実7から、推論1: "もしこの日焼け止めが薄焼き卵だとしたら東西交流でないし御若くない"が導かれる
2. 事実2から、推論2: "この日焼け止めは薄焼き卵だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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