The cow chases the dog. The cow does not chase the lion. The cow is big. The cow is cold. The cow likes the dog. The cow does not like the lion. The cow likes the rabbit. The cow needs the rabbit. The dog is green. The dog likes the cow. The dog likes the rabbit. The dog needs the rabbit. The lion chases the dog. The lion does not need the cow. The rabbit likes the lion. If the cow is cold then the cow chases the rabbit. If something chases the rabbit then the rabbit needs the cow. If the rabbit needs the cow and the cow likes the dog then the dog needs the cow. If something needs the lion and the lion is young then the lion needs the dog. If something needs the rabbit and it does not need the dog then the rabbit is not big. If something is cold and not big then it is green. If the lion is not green then the lion is not kind. If the dog is green and the dog chases the lion then the lion is kind.
The cow is green.
@0: The cow chases the dog.[(triple1)] The cow does not chase the lion.[(triple2)] The cow does not like the lion.[(triple6)] The cow is big.[(triple3)] The cow is cold.[(triple4)] The cow likes the dog.[(triple5)] The cow likes the rabbit.[(triple7)] The cow needs the rabbit.[(triple8)] The dog is green.[(triple9)] The dog likes the cow.[(triple10)] The dog likes the rabbit.[(triple11)] The dog needs the rabbit.[(triple12)] The lion chases the dog.[(triple13)] The lion does not need the cow.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The cow chases the rabbit.[(((triple4) -> rule1))] @2: The rabbit needs the cow.[(((((triple4) -> rule1)) -> rule2))] @3: The dog needs the cow.[(((((((triple4) -> rule1)) -> rule2) triple5) -> rule3))]