The cat chases the cow. The cat is big. The cat is red. The cat is round. The cat is young. The cat needs the tiger. The cow chases the lion. The cow likes the tiger. The cow needs the cat. The lion chases the tiger. The lion is young. The tiger needs the lion. If someone likes the cat then they are young. If the cow chases the lion then the lion needs the tiger. If someone chases the cat then they are cold. If someone is young then they chase the lion. If someone likes the cow and the cow chases the lion then the cow chases the tiger. If someone likes the lion and they chase the lion then the lion is cold. If someone likes the tiger and the tiger needs the cow then they chase the cow. If someone needs the cat and the cat likes the tiger then they are young.
The cow does not chase the cat.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat needs the tiger.[(triple6)] The cow chases the lion.[(triple7)] The cow likes the tiger.[(triple8)] The cow needs the cat.[(triple9)] The lion chases the tiger.[(triple10)] The lion is young.[(triple11)] The tiger needs the lion.[(triple12)] @1: The cat chases the lion.[(((triple5) -> rule4))] The lion chases the lion.[(((triple11) -> rule4))] The lion needs the tiger.[(((triple7) -> rule2))]