The cow does not like the lion. The lion likes the cow. The squirrel visits the cow. If someone visits the cow then the cow needs the squirrel. If the cow likes the lion and the cow is not kind then the lion visits the squirrel. If the cow is cold and the cow likes the lion then the cow does not visit the squirrel. If the squirrel needs the cow then the squirrel is blue. If someone likes the lion then the lion is not blue. If the cow needs the lion then the lion is not cold. If someone needs the squirrel then they need the lion. If someone needs the cow then the cow does not like the lion.
The cow needs the lion.
@0: The cow does not like the lion.[(triple1)] The lion likes the cow.[(triple2)] The squirrel visits the cow.[(triple3)] @1: The cow needs the squirrel.[(((triple3) -> rule1))] @2: The cow needs the lion.[(((((triple3) -> rule1)) -> rule7))] @3: The lion is not cold.[(((((((triple3) -> rule1)) -> rule7)) -> rule6))]