The cow does not like the lion. The dog visits the cow. The lion visits the dog. The squirrel is kind. If someone is cold and they do not like the lion then they like the dog. If someone is kind and not cold then they visit the dog. If someone visits the lion then they do not see the cow. If someone is kind and they do not see the lion then the lion does not see the squirrel. All kind people are round. If someone is round then they visit the lion. If someone likes the cow and they do not like the lion then they visit the lion. If the cow sees the dog then the cow likes the dog.
The squirrel visits the lion.
@0: The cow does not like the lion.[(triple1)] The dog visits the cow.[(triple2)] The lion visits the dog.[(triple3)] The squirrel is kind.[(triple4)] @1: The squirrel is round.[(((triple4) -> rule5))] @2: The squirrel visits the lion.[(((((triple4) -> rule5)) -> rule6))] @3: The squirrel does not see the cow.[(((((((triple4) -> rule5)) -> rule6)) -> rule3))]