The dog is round. If the dog is round and the dog is kind then the dog is nice. All round things are kind. If the dog is blue then the dog is green. If something is green and not nice then it is blue. If something is blue then it is green. Nice, round things are not green.
The dog is kind.
@0: The dog is round.[(triple1)] @1: The dog is kind.[(((triple1) -> rule2))] @2: The dog is nice.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: The dog is not green.[(((((triple1 ((triple1) -> rule2)) -> rule1) triple1) -> rule6))]