「「そのディスは取り辛いかあるいは格納しないかどちらもである」ということは成り立つ」ということは成り立たない
fact1: もしこの傍点部分が運転し易いならそのディスは取り辛いか格納しないかあるいはどちらもである fact2: この傍点部分は運転し易い
$facts$ = fact1: もしこの傍点部分が運転し易いならそのディスは取り辛いか格納しないかあるいはどちらもである fact2: この傍点部分は運転し易い ; $hypothesis$ = 「「そのディスは取り辛いかあるいは格納しないかどちらもである」ということは成り立つ」ということは成り立たない ; $proof$ = 
事実1: もしこの傍点部分が運転し易いならそのディスは取り辛いか格納しないかあるいはどちらもである
事実2: この傍点部分は運転し易い

仮説: 「「そのディスは取り辛いかあるいは格納しないかどちらもである」ということは成り立つ」ということは成り立たない