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