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