The cat chases the lion. The cat chases the rabbit. The cat eats the rabbit. The lion is rough. The lion visits the rabbit. The rabbit visits the cat. The rabbit visits the lion. If someone is rough then they chase the cat. If someone is blue then they chase the rabbit. If the lion chases the rabbit and the rabbit is big then the lion visits the cat. If someone is green then they chase the lion. If someone visits the rabbit and they visit the cat then the rabbit is big. If someone chases the cat then the cat is rough. If someone eats the lion and the lion is big then they are blue. If the rabbit eats the cat and the cat visits the lion then the lion is blue.
The lion does not chase the cat.
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat eats the rabbit.[(triple3)] The lion is rough.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit visits the cat.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion chases the cat.[(((triple4) -> rule1))] @2: The cat is rough.[(((((triple4) -> rule1)) -> rule6))] @3: The cat chases the cat.[(((((((triple4) -> rule1)) -> rule6)) -> rule1))]