The dog is not kind. The mouse chases the dog. The mouse is not round. If something chases the dog then it is kind. If something is kind then it visits the mouse. If something visits the mouse then the mouse likes the dog. If something likes the dog and it does not visit the dog then the dog is round. If something is round and it visits the dog then the dog visits the mouse. If the dog is round and the mouse does not like the dog then the dog does not like the mouse.
The dog is not cold.
@0: The dog is not kind.[(triple1)] The mouse chases the dog.[(triple2)] The mouse is not round.[(triple3)] @1: The mouse is kind.[(((triple2) -> rule1))] @2: The mouse visits the mouse.[(((((triple2) -> rule1)) -> rule2))] @3: The mouse likes the dog.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))]