The cow is kind. The lion chases the cow. The lion chases the rabbit. The lion needs the rabbit. The rabbit chases the cow. The rabbit does not chase the lion. The rabbit needs the cow. The rabbit visits the cow. The tiger needs the rabbit. The tiger does not visit the cow. If someone is nice then they visit the rabbit. If the cow needs the tiger then the tiger does not chase the cow. If someone chases the cow then the cow chases the rabbit. If the lion chases the rabbit then the rabbit is round. If someone chases the cow and the cow needs the rabbit then they chase the rabbit. If someone needs the lion then the lion does not visit the tiger. If the tiger needs the lion and the tiger is not round then the lion does not chase the rabbit. If someone visits the lion and they do not chase the rabbit then the lion is kind.
The tiger does not chase the rabbit.
@0: The cow is kind.[(triple1)] The lion chases the cow.[(triple2)] The lion chases the rabbit.[(triple3)] The lion needs the rabbit.[(triple4)] The rabbit chases the cow.[(triple5)] The rabbit does not chase the lion.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit visits the cow.[(triple8)] The tiger does not visit the cow.[(triple10)] The tiger needs the rabbit.[(triple9)] @1: The cow chases the rabbit.[(((triple2) -> rule3) OR ((triple5) -> rule3))] The rabbit is round.[(((triple3) -> rule4))]