「この粥専門店は鎮火するけどめぼしくない」ということは間違いである
fact1: 仮に「「混合言語でない」ということは成り立つ」物はあるとすれば「この粥専門店は鎮火するけどそれはめぼしくない」ということは成り立たない fact2: あるものは混合言語でない
$facts$ = fact1: 仮に「「混合言語でない」ということは成り立つ」物はあるとすれば「この粥専門店は鎮火するけどそれはめぼしくない」ということは成り立たない fact2: あるものは混合言語でない ; $hypothesis$ = 「この粥専門店は鎮火するけどめぼしくない」ということは間違いである ; $proof$ = 
事実1: 仮に「「混合言語でない」ということは成り立つ」物はあるとすれば「この粥専門店は鎮火するけどそれはめぼしくない」ということは成り立たない
事実2: あるものは混合言語でない

仮説: 「この粥専門店は鎮火するけどめぼしくない」ということは間違いである