The cow is blue. The cow is green. The cow is red. The cow is rough. The cow likes the squirrel. The cow needs the squirrel. The cow visits the squirrel. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel likes the cow. The squirrel needs the cow. The squirrel visits the cow. If someone visits the cow then the cow visits the squirrel. If the squirrel needs the cow then the squirrel visits the cow.
The cow is not blue.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow likes the squirrel.[(triple5)] The cow needs the squirrel.[(triple6)] The cow visits the squirrel.[(triple7 OR ((triple15) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the cow.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel visits the cow.[(triple15 OR ((triple14) -> rule2))]