もしあのＳＭワンは転出するかまたは薔薇色でないかどちらもだとすると競り上げるということはない
fact1: 仮になにがしかのものが対抗意識であるか真っ白くないとするとそれはＦＴτでない fact2: 外し易いかまたは度し難くないか両方ともな物はＦＴτでない fact3: もし仮にあのＳＭワンが発生し易いかあるいはそれは維持・向上しないかまたは両方ともであるならばそれはすばしっこくない fact4: あるものは転出するか薔薇色でないとすればそれは競り上げるということはない fact5: なにがしかの物は薔薇色でないとしたらそれは競り上げない fact6: 仮にあのＳＭワンは薔薇色でないとしたら競り上げない fact7: なんらかのものは半額であるかあるいは女っぽくないとするとそれは追わない fact8: もし仮にあのＳＭワンは転出するかもしくは薔薇色でないかもしくは両方だとしたらそれは競り上げる fact9: もしもとある物は掃き落とすかもしくはごつかないかあるいはどちらもであるとしたら益無しということはない fact10: 仮にとある物は転出するかもしくは薔薇色でないとしたら「それは競り上げない」ということは成り立つということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: 仮になにがしかのものが対抗意識であるか真っ白くないとするとそれはＦＴτでない fact2: 外し易いかまたは度し難くないか両方ともな物はＦＴτでない fact3: もし仮にあのＳＭワンが発生し易いかあるいはそれは維持・向上しないかまたは両方ともであるならばそれはすばしっこくない fact4: あるものは転出するか薔薇色でないとすればそれは競り上げるということはない fact5: なにがしかの物は薔薇色でないとしたらそれは競り上げない fact6: 仮にあのＳＭワンは薔薇色でないとしたら競り上げない fact7: なんらかのものは半額であるかあるいは女っぽくないとするとそれは追わない fact8: もし仮にあのＳＭワンは転出するかもしくは薔薇色でないかもしくは両方だとしたらそれは競り上げる fact9: もしもとある物は掃き落とすかもしくはごつかないかあるいはどちらもであるとしたら益無しということはない fact10: 仮にとある物は転出するかもしくは薔薇色でないとしたら「それは競り上げない」ということは成り立つということはない ; $hypothesis$ = もしあのＳＭワンは転出するかまたは薔薇色でないかどちらもだとすると競り上げるということはない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものが対抗意識であるか真っ白くないとするとそれはＦＴτでない
事実2: 外し易いかまたは度し難くないか両方ともな物はＦＴτでない
事実3: もし仮にあのＳＭワンが発生し易いかあるいはそれは維持・向上しないかまたは両方ともであるならばそれはすばしっこくない
事実4: あるものは転出するか薔薇色でないとすればそれは競り上げるということはない
事実5: なにがしかの物は薔薇色でないとしたらそれは競り上げない
事実6: 仮にあのＳＭワンは薔薇色でないとしたら競り上げない
事実7: なんらかのものは半額であるかあるいは女っぽくないとするとそれは追わない
事実8: もし仮にあのＳＭワンは転出するかもしくは薔薇色でないかもしくは両方だとしたらそれは競り上げる
事実9: もしもとある物は掃き落とすかもしくはごつかないかあるいはどちらもであるとしたら益無しということはない
事実10: 仮にとある物は転出するかもしくは薔薇色でないとしたら「それは競り上げない」ということは成り立つということはない

仮説: もしあのＳＭワンは転出するかまたは薔薇色でないかどちらもだとすると競り上げるということはない
1. 事実4から、仮説が導かれる

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