The cow chases the squirrel. The cow needs the squirrel. The dog is blue. The dog is green. The dog likes the cow. The dog needs the cow. The dog needs the squirrel. The squirrel chases the dog. The squirrel is rough. The squirrel does not like the cow. If the dog needs the squirrel then the squirrel is round. If someone is round then they need the cow. If someone needs the dog then the dog is nice. If someone needs the cow and the cow chases the squirrel then they are blue. If someone is round then they like the dog. If someone chases the cow and the cow does not need the squirrel then the cow likes the dog.
The squirrel does not like the dog.
@0: The cow chases the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The dog is blue.[(triple3 OR ((triple6 triple1) -> rule4))] The dog is green.[(triple4)] The dog likes the cow.[(triple5)] The dog needs the cow.[(triple6)] The dog needs the squirrel.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel does not like the cow.[(triple10)] The squirrel is rough.[(triple9)] @1: The squirrel is round.[(((triple7) -> rule1))] @2: The squirrel likes the dog.[(((((triple7) -> rule1)) -> rule5))] The squirrel needs the cow.[(((((triple7) -> rule1)) -> rule2))] @3: The squirrel is blue.[(((((((triple7) -> rule1)) -> rule2) triple1) -> rule4))]