The cat chases the tiger. The cow is cold. The tiger is cold. If something chases the cat then it visits the cow. If something chases the cow then the cow is green. If something chases the tiger then it sees the tiger. If the cat is rough and the cat is blue then the cat sees the tiger. Blue things are rough. If the cat is blue and the cat chases the tiger then the tiger sees the cow. If something is blue and it sees the tiger then the tiger sees the cow. If something chases the tiger and it sees the tiger then the tiger chases the cat.
The cat visits the cow.
@0: The cat chases the tiger.[(triple1)] The cow is cold.[(triple2)] The tiger is cold.[(triple3)] @1: The cat sees the tiger.[(((triple1) -> rule3))] @2: The tiger chases the cat.[(((triple1 ((triple1) -> rule3)) -> rule8))] @3: The tiger visits the cow.[(((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule1))]