The cat is blue. The rabbit chases the cat. The tiger needs the cat. If something chases the cat then the cat is round. If something likes the cat then it chases the rabbit. If the cat chases the tiger and the cat needs the tiger then the tiger chases the cat.
The tiger does not chase the cat.
@0: The cat is blue.[(triple1)] The rabbit chases the cat.[(triple2)] The tiger needs the cat.[(triple3)] @1: The cat is round.[(((triple2) -> rule1))]