The cow is young. The cow likes the rabbit. The cow likes the squirrel. The cow sees the rabbit. The rabbit is nice. The rabbit is young. The rabbit sees the cow. The squirrel eats the cow. The squirrel eats the rabbit. The squirrel is big. The squirrel is nice. The squirrel likes the cow. If something eats the rabbit then it likes the rabbit. If something likes the squirrel then the squirrel eats the cow.
The cow is blue.
@0: The cow is young.[(triple1)] The cow likes the rabbit.[(triple2)] The cow likes the squirrel.[(triple3)] The cow sees the rabbit.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the cow.[(triple7)] The squirrel eats the cow.[(triple8 OR ((triple3) -> rule2))] The squirrel eats the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is nice.[(triple11)] The squirrel likes the cow.[(triple12)] @1: The squirrel likes the rabbit.[(((triple9) -> rule1))]