The cat eats the lion. The lion sees the cat. The rabbit is round. The tiger likes the cat. If the cat eats the lion then the cat likes the tiger. If the tiger eats the lion then the tiger sees the cat. If someone likes the cat and they see the rabbit then the cat sees the rabbit. If someone likes the tiger then the tiger sees the lion. If the tiger eats the cat then the tiger likes the cat. If the tiger sees the lion then the tiger eats the cat.
The lion does not see the cat.
@0: The cat eats the lion.[(triple1)] The lion sees the cat.[(triple2)] The rabbit is round.[(triple3)] The tiger likes the cat.[(triple4 OR ((((((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule5))] @1: The cat likes the tiger.[(((triple1) -> rule1))] @2: The tiger sees the lion.[(((((triple1) -> rule1)) -> rule4))] @3: The tiger eats the cat.[(((((((triple1) -> rule1)) -> rule4)) -> rule6))]