The cat is kind. The dog chases the cat. The squirrel is blue. If someone likes the dog then they like the squirrel. If someone is kind then they like the dog.
The dog does not like the squirrel.
@0: The cat is kind.[(triple1)] The dog chases the cat.[(triple2)] The squirrel is blue.[(triple3)] @1: The cat likes the dog.[(((triple1) -> rule2))] @2: The cat likes the squirrel.[(((((triple1) -> rule2)) -> rule1))]