The cow is kind. The squirrel is big. The squirrel sees the cow. If someone sees the squirrel then the squirrel likes the cow. If someone likes the cow then they see the cow. If someone sees the squirrel then the squirrel sees the cow. If someone likes the squirrel then they are young. If someone sees the cow then the cow sees the squirrel. If someone sees the squirrel then they like the squirrel.
The cow is kind.
@0: The cow is kind.[(triple1)] The squirrel is big.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The cow sees the squirrel.[(((triple3) -> rule5))] @2: The cow likes the squirrel.[(((((triple3) -> rule5)) -> rule6))] The squirrel likes the cow.[(((((triple3) -> rule5)) -> rule1))] @3: The cow is young.[(((((((triple3) -> rule5)) -> rule6)) -> rule4))]