The cow is red. The tiger needs the cow. If something likes the cow and the cow is red then it visits the tiger. If something likes the tiger then the tiger likes the cow. If something is round and it needs the tiger then the tiger likes the cow. If something is red then it is not round. If something visits the tiger and the tiger visits the cow then it is not red. If something likes the cow then the cow likes the tiger. If the cow needs the tiger and the tiger needs the cow then the tiger visits the cow. If the tiger needs the cow and the cow needs the tiger then the tiger is blue.
The cow is red.
@0: The cow is red.[(triple1)] The tiger needs the cow.[(triple2)] @1: The cow is not round.[(((triple1) -> rule4))]