The cow is kind. The cow likes the squirrel. The cow sees the squirrel. The rabbit chases the cow. The rabbit sees the tiger. The squirrel likes the rabbit. The tiger chases the rabbit. If the cow is kind then the cow is green.
The cow is not green.
@0: The cow is kind.[(triple1)] The cow likes the squirrel.[(triple2)] The cow sees the squirrel.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit sees the tiger.[(triple5)] The squirrel likes the rabbit.[(triple6)] The tiger chases the rabbit.[(triple7)] @1: The cow is green.[(((triple1) -> rule1))]