The cow is big. The cow is blue. The cow is cold. The cow is rough. The cow is young. The cow likes the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel likes the cow. The squirrel sees the cow. The squirrel visits the cow. If someone likes the cow and they see the cow then the cow is rough. If someone likes the squirrel then they like the cow.
The squirrel is not big.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is rough.[(triple4 OR ((triple13 triple14) -> rule1))] The cow is young.[(triple5)] The cow likes the squirrel.[(triple6)] The cow sees the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the cow.[(triple13)] The squirrel sees the cow.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The cow likes the cow.[(((triple6) -> rule2))]