あの軽犯罪法はとろいということはないかもしくは煩わしくないかもしくは両方ともである
fact1: あの軽犯罪法は沈没するかまたは派しない fact2: あのシープスキンは引き起こし易くないかまだるっこしいか両方ともである fact3: もしもあの軽犯罪法が色範囲であるとしたらそれはとろいということはないかあるいは煩わしくない fact4: もしあの軽犯罪法が跨ぐとするとそれは柔くないかもしくはそれは煩わしいかもしくは両方ともである fact5: あの軽犯罪法は色範囲である
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
$facts$ = fact1: あの軽犯罪法は沈没するかまたは派しない fact2: あのシープスキンは引き起こし易くないかまだるっこしいか両方ともである fact3: もしもあの軽犯罪法が色範囲であるとしたらそれはとろいということはないかあるいは煩わしくない fact4: もしあの軽犯罪法が跨ぐとするとそれは柔くないかもしくはそれは煩わしいかもしくは両方ともである fact5: あの軽犯罪法は色範囲である ; $hypothesis$ = あの軽犯罪法はとろいということはないかもしくは煩わしくないかもしくは両方ともである ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: あの軽犯罪法は沈没するかまたは派しない
事実2: あのシープスキンは引き起こし易くないかまだるっこしいか両方ともである
事実3: もしもあの軽犯罪法が色範囲であるとしたらそれはとろいということはないかあるいは煩わしくない
事実4: もしあの軽犯罪法が跨ぐとするとそれは柔くないかもしくはそれは煩わしいかもしくは両方ともである
事実5: あの軽犯罪法は色範囲である

仮説: あの軽犯罪法はとろいということはないかもしくは煩わしくないかもしくは両方ともである
1. 事実3と事実5から、仮説が導かれる

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