「「仮に「たっぷりするか赤松でないかあるいは両方ともである」ということは成り立たないならしぶといということはない」物はある」ということは間違いだ
fact1: もし仮に「このＭ―φモデルはたっぷりするかそれは赤松でないか両方だ」ということは成り立たないならばしぶとくない
$facts$ = fact1: もし仮に「このＭ―φモデルはたっぷりするかそれは赤松でないか両方だ」ということは成り立たないならばしぶとくない ; $hypothesis$ = 「「仮に「たっぷりするか赤松でないかあるいは両方ともである」ということは成り立たないならしぶといということはない」物はある」ということは間違いだ ; $proof$ = 
事実1: もし仮に「このＭ―φモデルはたっぷりするかそれは赤松でないか両方だ」ということは成り立たないならばしぶとくない

仮説: 「「仮に「たっぷりするか赤松でないかあるいは両方ともである」ということは成り立たないならしぶといということはない」物はある」ということは間違いだ