The cow is green. The cow is kind. The cow is rough. The cow is young. The cow needs the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is not young. The squirrel needs the cow. The squirrel visits the cow. If someone sees the squirrel then the squirrel visits the cow.
The cow is rough.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4)] The cow needs the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel is not young.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel visits the cow.[(triple10 OR ((triple6) -> rule1))]