The dog is kind. If the dog is nice then the dog is not red. If the dog is nice and the dog is not cold then the dog is not red. If something is kind then it is not nice. Red things are round. If something is red then it is not kind. If the dog is not nice then the dog is round.
The dog is not red.
@0: The dog is kind.[(triple1)] @1: The dog is not nice.[(((triple1) -> rule3))] @2: The dog is round.[(((((triple1) -> rule3)) -> rule6))]