The dog is rough. Kind, red people are green. If the dog is rough and the dog is cold then the dog is green. If the dog is rough then the dog is red. Red, green people are kind. All rough, red people are cold. All rough, kind people are green.
The dog is green.
@0: The dog is rough.[(triple1)] @1: The dog is red.[(((triple1) -> rule3))] @2: The dog is cold.[(((triple1 ((triple1) -> rule3)) -> rule5))] @3: The dog is green.[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))] @4: The dog is kind.[(((((triple1) -> rule3) ((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2)) -> rule4))]