The cow chases the rabbit. The cow chases the squirrel. The cow sees the dog. The cow sees the rabbit. The dog chases the cow. The dog chases the rabbit. The dog is green. The dog is nice. The rabbit chases the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel sees the cow. If something chases the squirrel and the squirrel visits the rabbit then the rabbit visits the dog. If something visits the squirrel then the squirrel visits the cow. If something is green and big then it chases the squirrel. If something is green and it chases the squirrel then it is nice. If something is blue then it visits the rabbit. If something chases the cow then the cow chases the rabbit.
The squirrel is blue.
@0: The cow chases the rabbit.[(triple1 OR ((triple5) -> rule6))] The cow chases the squirrel.[(triple2)] The cow sees the dog.[(triple3)] The cow sees the rabbit.[(triple4)] The dog chases the cow.[(triple5)] The dog chases the rabbit.[(triple6)] The dog is green.[(triple7)] The dog is nice.[(triple8)] The rabbit chases the squirrel.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel is big.[(triple11)] The squirrel sees the cow.[(triple12)]