The cow eats the squirrel. The cow is big. The cow is blue. The cow is nice. The cow is red. The cow is young. The cow sees the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel sees the cow. The squirrel visits the cow. If something sees the squirrel then the squirrel sees the cow. If something sees the squirrel and it sees the cow then the cow visits the squirrel.
The squirrel is nice.
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow sees the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the cow.[(triple15 OR ((triple7) -> rule1))] The squirrel visits the cow.[(triple16)]