The cat visits the cow. The cow is blue. The lion is round. The tiger sees the lion. If something sees the cat then the cat sees the lion. If something is blue then it sees the tiger. If something is red and it sees the cow then it visits the cow. If the cow sees the tiger then the tiger is round. If something chases the cow then it chases the cat. If something chases the cat and it sees the tiger then it visits the cow.
The lion does not visit the cat.
@0: The cat visits the cow.[(triple1)] The cow is blue.[(triple2)] The lion is round.[(triple3)] The tiger sees the lion.[(triple4)] @1: The cow sees the tiger.[(((triple2) -> rule2))] @2: The tiger is round.[(((((triple2) -> rule2)) -> rule4))]