「もしも口煩くないなら「取り違えるしその上あくどくない」ということは誤りな」ものはある
fact1: もし仮に「この箱物は口煩くない」ということは確かだとしたら「それは取り違えるがしかしあくどいということはない」ということは間違っている
$facts$ = fact1: もし仮に「この箱物は口煩くない」ということは確かだとしたら「それは取り違えるがしかしあくどいということはない」ということは間違っている ; $hypothesis$ = 「もしも口煩くないなら「取り違えるしその上あくどくない」ということは誤りな」ものはある ; $proof$ = 
事実1: もし仮に「この箱物は口煩くない」ということは確かだとしたら「それは取り違えるがしかしあくどいということはない」ということは間違っている

仮説: 「もしも口煩くないなら「取り違えるしその上あくどくない」ということは誤りな」ものはある