The cat chases the lion. The cat needs the lion. The lion chases the rabbit. The lion is kind. The lion needs the tiger. The rabbit is not kind. The rabbit needs the tiger. The tiger chases the cat. The tiger does not chase the lion. The tiger chases the rabbit. The tiger is cold. The tiger is kind. The tiger is young. The tiger likes the cat. The tiger needs the lion. If someone is big and they chase the rabbit then the rabbit needs the cat. If the rabbit chases the lion then the rabbit does not need the cat. If someone chases the tiger and they need the tiger then they chase the rabbit. If the tiger likes the rabbit then the tiger is blue. If someone is big and they do not like the cat then the cat needs the lion. If someone likes the cat then the cat chases the lion. If the tiger likes the cat then the tiger is big. If someone needs the cat then the cat chases the rabbit.
The lion is young.
@0: The cat chases the lion.[(triple1 OR ((triple14) -> rule6))] The cat needs the lion.[(triple2)] The lion chases the rabbit.[(triple3)] The lion is kind.[(triple4)] The lion needs the tiger.[(triple5)] The rabbit is not kind.[(triple6)] The rabbit needs the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger chases the rabbit.[(triple10)] The tiger does not chase the lion.[(triple9)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cat.[(triple14)] The tiger needs the lion.[(triple15)] @1: The tiger is big.[(((triple14) -> rule7))] @2: The rabbit needs the cat.[(((((triple14) -> rule7) triple10) -> rule1))] @3: The cat chases the rabbit.[(((((((triple14) -> rule7) triple10) -> rule1)) -> rule8))]