The cow eats the squirrel. The cow is blue. The cow is young. The cow likes the dog. The cow visits the squirrel. The dog eats the cow. The dog is nice. The dog likes the cow. The dog likes the squirrel. The dog visits the cow. The squirrel eats the cow. The squirrel eats the dog. The squirrel is cold. The squirrel is young. The squirrel likes the cow. The squirrel visits the dog. If something is blue and it visits the cow then the cow visits the squirrel. If the cow likes the squirrel and the squirrel eats the dog then the squirrel is green. If something likes the squirrel and the squirrel eats the dog then it visits the squirrel. If something is cold then it likes the cow. If the cow eats the dog and the dog is green then the cow is nice. If something likes the dog and the dog is cold then it is cold. If something is nice and it eats the cow then it likes the cow. If something eats the dog and it likes the squirrel then it visits the cow.
The squirrel visits the dog.
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is young.[(triple3)] The cow likes the dog.[(triple4)] The cow visits the squirrel.[(triple5)] The dog eats the cow.[(triple6)] The dog is nice.[(triple7)] The dog likes the cow.[(triple8 OR ((triple7 triple6) -> rule7))] The dog likes the squirrel.[(triple9)] The dog visits the cow.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel eats the dog.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the cow.[(triple15 OR ((triple13) -> rule4))] The squirrel visits the dog.[(triple16)] @1: The dog visits the squirrel.[(((triple9 triple12) -> rule3))]