The cow chases the lion. The cow is round. The lion needs the tiger. The squirrel chases the tiger. The squirrel needs the cow. The squirrel needs the tiger. The tiger is green. Blue, green people are round. If the lion likes the tiger then the tiger likes the squirrel. If someone is green and they chase the lion then they like the tiger. If someone is kind and green then they like the tiger. If someone needs the cow and the cow chases the lion then the cow needs the squirrel. If someone needs the cow then the cow likes the lion. If someone is kind then they chase the tiger. If someone likes the squirrel then the squirrel chases the tiger.
The cow is blue.
@0: The cow chases the lion.[(triple1)] The cow is round.[(triple2)] The lion needs the tiger.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel needs the cow.[(triple5)] The squirrel needs the tiger.[(triple6)] The tiger is green.[(triple7)] @1: The cow likes the lion.[(((triple5) -> rule6))] The cow needs the squirrel.[(((triple5 triple1) -> rule5))]