The cow likes the squirrel. The lion visits the squirrel. The squirrel likes the tiger. The tiger is cold. If something likes the squirrel then it visits the tiger. If something visits the cow and the cow is cold then the cow likes the tiger. If something likes the squirrel and it is kind then it visits the tiger. If something visits the cow and it likes the tiger then it likes the squirrel. If the lion likes the tiger then the lion is young. If something is blue then it likes the cow. If the lion visits the squirrel and the squirrel is kind then the lion likes the cow. If the squirrel is young and the squirrel likes the cow then the cow sees the squirrel.
The squirrel does not like the squirrel.
@0: The cow likes the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The cow visits the tiger.[(((triple1) -> rule1))]