The bear chases the dog. The bear likes the rabbit. The cow chases the bear. The cow chases the dog. The cow eats the bear. The cow is big. The dog chases the bear. The rabbit chases the cow. The rabbit likes the cow. The rabbit likes the dog. If someone likes the cow and the cow is young then they are green. If someone chases the dog then they are young.
The rabbit is not green.
@0: The bear chases the dog.[(triple1)] The bear likes the rabbit.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the dog.[(triple4)] The cow eats the bear.[(triple5)] The cow is big.[(triple6)] The dog chases the bear.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit likes the dog.[(triple10)] @1: The bear is young.[(((triple1) -> rule2))] The cow is young.[(((triple4) -> rule2))] @2: The rabbit is green.[(((triple9 ((triple4) -> rule2)) -> rule1))]