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 round.
@0: The dog is round.[(triple1)] @1: The dog is red.[(((triple1) -> rule1))]