「その松本市内は柔らかくなくて更にそれは話し易くない」ということは誤っている
fact1: このオヒシールは千六百万人であるとすれば「その松本市内は柔らかくなくて更に話し易いということはない」ということは偽だ fact2: 「このオヒシールは柔らかくない一方でそれは千六百万人だ」ということは間違っている fact3: このオヒシールは千六百万人だ fact4: もしこのオヒシールは柔らかいなら「その松本市内は千六百万人だが話し易くない」ということは成り立たない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: このオヒシールは千六百万人であるとすれば「その松本市内は柔らかくなくて更に話し易いということはない」ということは偽だ fact2: 「このオヒシールは柔らかくない一方でそれは千六百万人だ」ということは間違っている fact3: このオヒシールは千六百万人だ fact4: もしこのオヒシールは柔らかいなら「その松本市内は千六百万人だが話し易くない」ということは成り立たない ; $hypothesis$ = 「その松本市内は柔らかくなくて更にそれは話し易くない」ということは誤っている ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: このオヒシールは千六百万人であるとすれば「その松本市内は柔らかくなくて更に話し易いということはない」ということは偽だ
事実2: 「このオヒシールは柔らかくない一方でそれは千六百万人だ」ということは間違っている
事実3: このオヒシールは千六百万人だ
事実4: もしこのオヒシールは柔らかいなら「その松本市内は千六百万人だが話し易くない」ということは成り立たない

仮説: 「その松本市内は柔らかくなくて更にそれは話し易くない」ということは誤っている
1. 事実1と事実3から、仮説が導かれる

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