The cat is young. The cat sees the dog. The dog is round. If something is big and it sees the dog then the dog sees the cat. If something sees the dog then it visits the cat. If something visits the cat and the cat sees the dog then it sees the cat. If something is young and big then it eats the dog. If the dog sees the cat and the cat visits the dog then the cat is blue. If something visits the cat then it eats the cat. If something is green and it sees the dog then it visits the cat. If something visits the dog and the dog sees the cat then the dog is young.
The cat is not blue.
@0: The cat is young.[(triple1)] The cat sees the dog.[(triple2)] The dog is round.[(triple3)] @1: The cat visits the cat.[(((triple2) -> rule2))] @2: The cat eats the cat.[(((((triple2) -> rule2)) -> rule6))] The cat sees the cat.[(((((triple2) -> rule2) triple2) -> rule3))]