The cat chases the lion. The cat chases the tiger. The cat is blue. The cat is kind. The cat is nice. The cat is young. The cat likes the lion. The cat likes the tiger. The cat needs the lion. The cat needs the tiger. The lion needs the tiger. The tiger chases the cat. The tiger does not chase the lion. The tiger likes the lion. The tiger needs the cat. If someone likes the tiger then the tiger chases the cat.
The cat does not chase the tiger.
@0: The cat chases the lion.[(triple1)] The cat chases the tiger.[(triple2)] The cat is blue.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is young.[(triple6)] The cat likes the lion.[(triple7)] The cat likes the tiger.[(triple8)] The cat needs the lion.[(triple9)] The cat needs the tiger.[(triple10)] The lion needs the tiger.[(triple11)] The tiger chases the cat.[(triple12 OR ((triple8) -> rule1))] The tiger does not chase the lion.[(triple13)] The tiger likes the lion.[(triple14)] The tiger needs the cat.[(triple15)]