The cow eats the dog. The cow eats the squirrel. The cow is blue. The cow likes the dog. The cow sees the dog. The cow does not see the squirrel. The dog eats the cow. The dog eats the squirrel. The dog likes the cow. The dog likes the squirrel. The squirrel eats the dog. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel likes the dog. If someone likes the dog and the dog sees the cow then the cow does not like the squirrel. If someone eats the dog and the dog is blue then the dog sees the cow. If the dog likes the cow and the cow likes the squirrel then the cow is red. If someone likes the squirrel then they are blue. If someone is green then they are nice. If the dog eats the squirrel then the squirrel eats the cow.
The squirrel eats the dog.
@0: The cow does not see the squirrel.[(triple6)] The cow eats the dog.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is blue.[(triple3)] The cow likes the dog.[(triple4)] The cow sees the dog.[(triple5)] The dog eats the cow.[(triple7)] The dog eats the squirrel.[(triple8)] The dog likes the cow.[(triple9)] The dog likes the squirrel.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14)] The squirrel likes the dog.[(triple15)] @1: The dog is blue.[(((triple10) -> rule4))] The squirrel eats the cow.[(((triple8) -> rule6))] @2: The dog sees the cow.[(((triple1 ((triple10) -> rule4)) -> rule2) OR ((triple11 ((triple10) -> rule4)) -> rule2))] @3: The cow does not like the squirrel.[(((triple15 ((triple1 ((triple10) -> rule4)) -> rule2)) -> rule1) OR ((triple15 ((triple11 ((triple10) -> rule4)) -> rule2)) -> rule1) OR ((triple4 ((triple1 ((triple10) -> rule4)) -> rule2)) -> rule1) OR ((triple4 ((triple11 ((triple10) -> rule4)) -> rule2)) -> rule1))]