The cow is kind. The cow is nice. The cow needs the dog. The cow visits the squirrel. The dog chases the cow. The dog is green. The dog is nice. The dog needs the cow. The dog visits the cow. The dog visits the squirrel. The squirrel chases the cow. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel needs the dog. The squirrel visits the cow. If someone visits the cow and the cow is blue then they need the dog. If the squirrel is green then the squirrel visits the cow. If someone needs the dog then they are blue.
The dog does not need the dog.
@0: The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow needs the dog.[(triple3)] The cow visits the squirrel.[(triple4)] The dog chases the cow.[(triple5)] The dog is green.[(triple6)] The dog is nice.[(triple7)] The dog needs the cow.[(triple8)] The dog visits the cow.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the dog.[(triple15 OR ((triple16 ((triple3) -> rule3)) -> rule1))] The squirrel visits the cow.[(triple16)] @1: The cow is blue.[(((triple3) -> rule3))] The squirrel is blue.[(((triple15) -> rule3) OR ((((triple16 ((triple3) -> rule3)) -> rule1)) -> rule3))] @2: The dog needs the dog.[(((triple9 ((triple3) -> rule3)) -> rule1))] @3: The dog is blue.[(((((triple9 ((triple3) -> rule3)) -> rule1)) -> rule3))]