その評価制度は雪深い
fact1: 「なんらかのものは赤しないけど雪深い」ということは偽であるならばそれは雪深くない fact2: あるものが小姉ならば俗っぽい fact3: その評価制度は雪深い fact4: 赤しないものは雪深いし俗っぽい
fact3 -> hypothesis;
fact3 -> hypothesis;
その評価制度は雪深くない
fact6 -> int1: 仮に「その評価制度は赤しということはないけれど雪深い」ということは成り立たないとすれば雪深いということはない; fact5 -> int2: その評価制度が小姉だとしたらそれは俗っぽい;
$facts$ = fact1: 「なんらかのものは赤しないけど雪深い」ということは偽であるならばそれは雪深くない fact2: あるものが小姉ならば俗っぽい fact3: その評価制度は雪深い fact4: 赤しないものは雪深いし俗っぽい ; $hypothesis$ = その評価制度は雪深い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「なんらかのものは赤しないけど雪深い」ということは偽であるならばそれは雪深くない
事実2: あるものが小姉ならば俗っぽい
事実3: その評価制度は雪深い
事実4: 赤しないものは雪深いし俗っぽい

仮説: その評価制度は雪深い
1. 事実3から、仮説が導かれる

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