The dog is green. Green people are nice. If someone is young then they are round. If the dog is not green then the dog is young. If the dog is young and the dog is not green then the dog is not round. Green, nice people are young. If the dog is nice then the dog is cold. All round people are cold. If someone is young and not round then they are not cold.
The dog is not nice.
@0: The dog is green.[(triple1)] @1: The dog is nice.[(((triple1) -> rule1))] @2: The dog is cold.[(((((triple1) -> rule1)) -> rule6) OR ((((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2)) -> rule7))] The dog is young.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: The dog is round.[(((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))]