Premise: A small brown and black dog
Correct statement: It is impossible that a large pony stands alone
Incorrect statement: It is probably the case that a large pony stands alone