The dog is nice. All young people are nice. If the dog is nice then the dog is green. Nice people are young. If someone is nice and not young then they are green. If the dog is not green then the dog is kind. Nice, rough people are kind. If someone is kind then they are rough. All young, nice people are rough.
The dog is green.
@0: The dog is nice.[(triple1)] @1: The dog is green.[(((triple1) -> rule2))] The dog is young.[(((triple1) -> rule3))] @2: The dog is rough.[(((((triple1) -> rule3) triple1) -> rule8))] @3: The dog is kind.[(((triple1 ((((triple1) -> rule3) triple1) -> rule8)) -> rule6))]