The dog is green. Green things are red. If something is kind and not green then it is not red. If something is kind then it is round. Blue, red things are round. If the dog is red then the dog is not blue. If the dog is red then the dog is kind.
The dog is kind.
@0: The dog is green.[(triple1)] @1: The dog is red.[(((triple1) -> rule1))] @2: The dog is kind.[(((((triple1) -> rule1)) -> rule6))] The dog is not blue.[(((((triple1) -> rule1)) -> rule5))] @3: The dog is round.[(((((((triple1) -> rule1)) -> rule6)) -> rule3))]