The dog is round. If someone is round then they are red. If someone is blue then they are cold. All cold, blue people are red.
The dog is not blue.
@0: The dog is round.[(triple1)] @1: The dog is red.[(((triple1) -> rule1))]