The cow is big. The cow is red. The cow is young. The cow likes the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is nice. The squirrel likes the cow. The squirrel sees the cow. The squirrel visits the cow. If someone sees the cow then the cow visits the squirrel. If someone likes the cow and the cow likes the squirrel then the cow sees the squirrel.
The cow does not like the cow.
@0: The cow is big.[(triple1)] The cow is red.[(triple2)] The cow is young.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the squirrel.[(triple5 OR ((triple8 triple4) -> rule2))] The cow visits the squirrel.[(triple6 OR ((triple9) -> rule1))] The squirrel is nice.[(triple7)] The squirrel likes the cow.[(triple8)] The squirrel sees the cow.[(triple9)] The squirrel visits the cow.[(triple10)]