The dog is red. If someone is round then they are green. Red, kind people are green. Green, red people are kind. Green people are kind. Red people are round. If the dog is green then the dog is round.
The dog is round.
@0: The dog is red.[(triple1)] @1: The dog is round.[(((triple1) -> rule5))] @2: The dog is green.[(((((triple1) -> rule5)) -> rule1))] @3: The dog is kind.[(((((((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule3))]