The bear chases the cow. The bear is blue. The bear is green. The bear is young. The bear likes the dog. The cow chases the bear. The cow eats the bear. The cow is green. The cow is red. The cow likes the bear. The dog chases the bear. The dog eats the bear. The dog is blue. The dog is green. The dog is red. The dog likes the cow. If someone eats the dog then they chase the dog. If someone likes the bear then the bear eats the cow. If the bear eats the cow then the bear eats the dog.
The cow is not green.
@0: The bear chases the cow.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The cow chases the bear.[(triple6)] The cow eats the bear.[(triple7)] The cow is green.[(triple8)] The cow is red.[(triple9)] The cow likes the bear.[(triple10)] The dog chases the bear.[(triple11)] The dog eats the bear.[(triple12)] The dog is blue.[(triple13)] The dog is green.[(triple14)] The dog is red.[(triple15)] The dog likes the cow.[(triple16)] @1: The bear eats the cow.[(((triple10) -> rule2))] @2: The bear eats the dog.[(((((triple10) -> rule2)) -> rule3))] @3: The bear chases the dog.[(((((((triple10) -> rule2)) -> rule3)) -> rule1))]