The cow chases the lion. The cow is blue. The cow is green. The cow likes the lion. The cow likes the rabbit. The cow visits the rabbit. The lion chases the cow. The lion is red. The lion is young. The lion likes the cow. The lion does not like the rabbit. The lion visits the cow. The lion visits the rabbit. The rabbit chases the lion. The rabbit is rough. The rabbit likes the lion. If someone chases the cow then the cow is red. If the cow likes the lion and the rabbit does not like the cow then the rabbit chases the lion. If the cow is rough and the cow is not red then the cow is green.
The rabbit is not rough.
@0: The cow chases the lion.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow likes the lion.[(triple4)] The cow likes the rabbit.[(triple5)] The cow visits the rabbit.[(triple6)] The lion chases the cow.[(triple7)] The lion does not like the rabbit.[(triple11)] The lion is red.[(triple8)] The lion is young.[(triple9)] The lion likes the cow.[(triple10)] The lion visits the cow.[(triple12)] The lion visits the rabbit.[(triple13)] The rabbit chases the lion.[(triple14)] The rabbit is rough.[(triple15)] The rabbit likes the lion.[(triple16)] @1: The cow is red.[(((triple7) -> rule1))]