It is impossible that John went to the garden. It is certain that Lily is gray. It is certain that Brian is a frog.
It is probably not the case that brian is a frog, or John went to the garden.
It is certain that brian is a frog, or John went to the garden.
It is probably not the case that brian is a frog, or John went to the garden.
Brian is a frog, or John went to the garden.