The cat sees the cow. The cow is red. The cow likes the cat. If someone sees the cat then the cat is round. If someone is round and they see the cow then they see the cat. If the cow likes the cat then the cow sees the cat.
The cat visits the cat.
@0: The cat sees the cow.[(triple1)] The cow is red.[(triple2)] The cow likes the cat.[(triple3)] @1: The cow sees the cat.[(((triple3) -> rule3))] @2: The cat is round.[(((((triple3) -> rule3)) -> rule1))] @3: The cat sees the cat.[(((((((triple3) -> rule3)) -> rule1) triple1) -> rule2))]