その割合は高部解だ
fact1: 「その割合は日常化しないかまたは街らしくないかまたは両方ともだ」ということは誤りであるとすると「高部解でない」ということは本当である fact2: 「その割合は日常化しないかまたはそれは街らしいということはないかまたは両方ともだ」ということは成り立つということはない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「その割合は日常化しないかまたは街らしくないかまたは両方ともだ」ということは誤りであるとすると「高部解でない」ということは本当である fact2: 「その割合は日常化しないかまたはそれは街らしいということはないかまたは両方ともだ」ということは成り立つということはない ; $hypothesis$ = その割合は高部解だ ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その割合は日常化しないかまたは街らしくないかまたは両方ともだ」ということは誤りであるとすると「高部解でない」ということは本当である
事実2: 「その割合は日常化しないかまたはそれは街らしいということはないかまたは両方ともだ」ということは成り立つということはない

仮説: その割合は高部解だ
1. 事実1と事実2から、仮説が否定される

よって、仮説が否定されました。