The cow is not big. The cow is rough. The cow does not see the squirrel. The cow visits the dog. The dog does not chase the squirrel. The dog is not big. The dog is young. The dog sees the cow. The dog sees the squirrel. The dog visits the squirrel. The squirrel chases the cow. The squirrel is blue. The squirrel is young. The squirrel sees the cow. The squirrel does not see the dog. The squirrel visits the dog. If someone sees the cow and the cow visits the dog then the cow is blue. If the squirrel sees the cow and the squirrel does not visit the dog then the dog sees the cow. If someone sees the squirrel then they are young. If someone visits the cow then they are young. If someone chases the squirrel and the squirrel is big then they do not visit the cow. If someone sees the dog then they are not rough. If someone is young and they do not chase the dog then they see the dog. If someone is big and they chase the squirrel then the squirrel visits the cow.
The squirrel is rough.
@0: The cow does not see the squirrel.[(triple3)] The cow is not big.[(triple1)] The cow is rough.[(triple2)] The cow visits the dog.[(triple4)] The dog does not chase the squirrel.[(triple5)] The dog is not big.[(triple6)] The dog is young.[(triple7 OR ((triple9) -> rule3))] The dog sees the cow.[(triple8)] The dog sees the squirrel.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel does not see the dog.[(triple15)] The squirrel is blue.[(triple12)] The squirrel is young.[(triple13)] The squirrel sees the cow.[(triple14)] The squirrel visits the dog.[(triple16)] @1: The cow is blue.[(((triple14 triple4) -> rule1) OR ((triple8 triple4) -> rule1))]