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