The cow is young. The squirrel does not need the cow. If someone sees the cow and they need the squirrel then they are kind. If the cow is kind then the cow needs the squirrel. If the squirrel sees the cow and the squirrel is not young then the cow needs the squirrel. If someone is round and they see the cow then the cow does not see the squirrel. If someone is round then they eat the squirrel. If someone eats the squirrel then the squirrel is round. Young people are round. If the cow does not need the squirrel then the squirrel is cold.
The cow is round.
@0: The cow is young.[(triple1)] The squirrel does not need the cow.[(triple2)] @1: The cow is round.[(((triple1) -> rule7))] @2: The cow eats the squirrel.[(((((triple1) -> rule7)) -> rule5))] @3: The squirrel is round.[(((((((triple1) -> rule7)) -> rule5)) -> rule6))] @4: The squirrel eats the squirrel.[(((((((((triple1) -> rule7)) -> rule5)) -> rule6)) -> rule5))]