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