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