The cow sees the rabbit. The lion sees the cow. The rabbit eats the cow. The squirrel is kind. If the squirrel is kind then the squirrel sees the cow. If the rabbit is green and the rabbit likes the cow then the cow eats the rabbit. If someone sees the cow then they eat the rabbit.
The squirrel is not big.
@0: The cow sees the rabbit.[(triple1)] The lion sees the cow.[(triple2)] The rabbit eats the cow.[(triple3)] The squirrel is kind.[(triple4)] @1: The lion eats the rabbit.[(((triple2) -> rule3))] The squirrel sees the cow.[(((triple4) -> rule1))] @2: The squirrel eats the rabbit.[(((((triple4) -> rule1)) -> rule3))]