The cat likes the dog. The dog chases the cat. If someone likes the cat and the cat is green then they are big. If someone likes the dog then the dog sees the cat. If the cat chases the dog then the cat is red. Big people are red. If someone likes the dog then the dog chases the cat. If someone likes the dog then the dog chases the cat.
The dog chases the cat.
@0: The cat likes the dog.[(triple1)] The dog chases the cat.[(triple2 OR ((triple1) -> rule5) OR ((triple1) -> rule6))] @1: The dog sees the cat.[(((triple1) -> rule2))]