The cow is young. The dog visits the squirrel. The lion is not rough. The squirrel does not visit the cow. If the dog visits the lion and the lion visits the dog then the dog does not visit the squirrel. If someone visits the dog and the dog does not chase the squirrel then the dog is red. If someone needs the squirrel and they need the lion then the squirrel does not need the cow. If someone chases the dog then they chase the cow. If someone needs the lion then the lion is blue. If someone needs the cow then the cow does not visit the dog. If someone is young then they are blue. If someone is blue then they need the cow.
The dog is not cold.
@0: The cow is young.[(triple1)] The dog visits the squirrel.[(triple2)] The lion is not rough.[(triple3)] The squirrel does not visit the cow.[(triple4)] @1: The cow is blue.[(((triple1) -> rule7))] @2: The cow needs the cow.[(((((triple1) -> rule7)) -> rule8))] @3: The cow does not visit the dog.[(((((((triple1) -> rule7)) -> rule8)) -> rule6))]