The cat is red. The cat needs the tiger. The tiger chases the cat. If something needs the tiger then the tiger visits the cat. If something is cold then it chases the tiger. If something visits the cat and it is cold then the cat needs the tiger. If something is rough and young then it does not need the cat. If something needs the cat and it does not chase the tiger then the tiger chases the cat. If the cat does not visit the tiger then the tiger does not chase the cat. If something needs the tiger and it does not chase the tiger then it is young. If something visits the tiger then it is not young.
The cat is not red.
@0: The cat is red.[(triple1)] The cat needs the tiger.[(triple2)] The tiger chases the cat.[(triple3)] @1: The tiger visits the cat.[(((triple2) -> rule1))]