The dog is blue. If someone is red then they are round. If the dog is round then the dog is red. All red people are cold. Red people are round. Nice people are cold. Cold, blue people are round. If someone is blue then they are nice. If the dog is nice then the dog is blue.
The dog sees the dog.
@0: The dog is blue.[(triple1)] @1: The dog is nice.[(((triple1) -> rule7))] @2: The dog is cold.[(((((triple1) -> rule7)) -> rule5))] @3: The dog is round.[(((((((triple1) -> rule7)) -> rule5) triple1) -> rule6))] @4: The dog is red.[(((((((((triple1) -> rule7)) -> rule5) triple1) -> rule6)) -> rule2))]