The cow is cold. The lion is round. The squirrel chases the cow. The squirrel needs the cow. The squirrel does not visit the lion. The tiger needs the squirrel. The tiger visits the lion. If someone is nice and they chase the cow then the cow needs the lion. If someone needs the tiger then the tiger is kind. If the cow visits the squirrel and the squirrel is not kind then the squirrel needs the lion. If the tiger chases the squirrel and the tiger does not need the cow then the tiger does not visit the squirrel. If someone needs the cow then the cow is kind. If someone is cold and they do not need the cow then the cow is round. If someone chases the tiger then they do not chase the cow. If someone visits the tiger then they do not chase the lion.
The lion is not round.
@0: The cow is cold.[(triple1)] The lion is round.[(triple2)] The squirrel chases the cow.[(triple3)] The squirrel does not visit the lion.[(triple5)] The squirrel needs the cow.[(triple4)] The tiger needs the squirrel.[(triple6)] The tiger visits the lion.[(triple7)] @1: The cow is kind.[(((triple4) -> rule5))]