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