The dog is kind. If something is green then it is kind. All big, green things are not nice. If the dog is nice and the dog is kind then the dog is not green. If something is big and cold then it is not green. If something is kind then it is cold. If the dog is cold and the dog is kind then the dog is nice.
The dog visits the dog.
@0: The dog is kind.[(triple1)] @1: The dog is cold.[(((triple1) -> rule5))] @2: The dog is nice.[(((((triple1) -> rule5) triple1) -> rule6))] @3: The dog is not green.[(((((((triple1) -> rule5) triple1) -> rule6) triple1) -> rule3))]