The cat eats the lion. The lion likes the tiger. The squirrel eats the lion. The tiger visits the cat. If someone visits the lion then they visit the cat. If someone likes the squirrel then the squirrel is red. If someone visits the squirrel then the squirrel eats the tiger. If someone is rough and they visit the cat then they eat the cat. If someone likes the cat and the cat likes the squirrel then the squirrel is red. If someone eats the tiger then they are young. If someone eats the tiger then the tiger visits the lion. If the lion likes the tiger then the tiger visits the squirrel.
The squirrel is not young.
@0: The cat eats the lion.[(triple1)] The lion likes the tiger.[(triple2)] The squirrel eats the lion.[(triple3)] The tiger visits the cat.[(triple4 OR ((((((((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1))] @1: The tiger visits the squirrel.[(((triple2) -> rule8))] @2: The squirrel eats the tiger.[(((((triple2) -> rule8)) -> rule3))] @3: The squirrel is young.[(((((((triple2) -> rule8)) -> rule3)) -> rule6))] The tiger visits the lion.[(((((((triple2) -> rule8)) -> rule3)) -> rule7))]