The dog is cold. If the dog is kind and the dog is red then the dog is round. If the dog is green then the dog is cold. If the dog is kind then the dog is green. If the dog is cold then the dog is red. All cold, red things are round. Green things are cold. If something is red and round then it is kind. All red, green things are cold.
The dog is cold.
@0: The dog is cold.[(triple1)] @1: The dog is red.[(((triple1) -> rule4))] @2: The dog is round.[(((triple1 ((triple1) -> rule4)) -> rule5))] @3: The dog is kind.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7))] @4: The dog is green.[(((((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7)) -> rule3))]