The cat chases the lion. The cat chases the tiger. The cat is red. The cat is young. The cat likes the lion. The lion does not chase the tiger. The lion is young. The tiger is kind. The tiger likes the lion. The tiger visits the cat. If someone likes the lion then the lion likes the tiger. If the tiger likes the lion and the tiger chases the lion then the lion is not big. If someone likes the tiger then the tiger chases the lion.
The lion likes the tiger.
@0: The cat chases the lion.[(triple1)] The cat chases the tiger.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat likes the lion.[(triple5)] The lion does not chase the tiger.[(triple6)] The lion is young.[(triple7)] The tiger is kind.[(triple8)] The tiger likes the lion.[(triple9)] The tiger visits the cat.[(triple10)] @1: The lion likes the tiger.[(((triple5) -> rule1) OR ((triple9) -> rule1))] @2: The tiger chases the lion.[(((((triple5) -> rule1)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] @3: The lion is not big.[(((triple9 ((((triple5) -> rule1)) -> rule3)) -> rule2) OR ((triple9 ((((triple9) -> rule1)) -> rule3)) -> rule2))]