The cow is kind. The cow sees the rabbit. The cow visits the squirrel. The dog is red. The dog sees the cow. The rabbit is kind. The rabbit is red. The rabbit sees the squirrel. The rabbit visits the cow. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel chases the dog. The squirrel is kind. The squirrel is young. The squirrel visits the cow. The squirrel visits the rabbit. If something sees the squirrel and it visits the rabbit then the squirrel visits the cow. If something sees the squirrel then the squirrel is red. If something visits the dog and it sees the dog then it visits the cow. If the rabbit sees the squirrel then the squirrel visits the dog. If the dog is nice then the dog visits the rabbit. If something sees the squirrel and the squirrel chases the cow then it is green.
The squirrel chases the dog.
@0: The cow is kind.[(triple1)] The cow sees the rabbit.[(triple2)] The cow visits the squirrel.[(triple3)] The dog is red.[(triple4)] The dog sees the cow.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is red.[(triple7)] The rabbit sees the squirrel.[(triple8)] The rabbit visits the cow.[(triple9)] The rabbit visits the dog.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is young.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel is red.[(((triple8) -> rule2))] The squirrel visits the dog.[(((triple8) -> rule4))]