The cat chases the lion. The cat is rough. The cat does not visit the lion. The cat does not visit the rabbit. The cow does not chase the cat. The cow chases the rabbit. The cow is rough. The cow needs the rabbit. The cow visits the rabbit. The lion needs the cat. The lion needs the cow. The lion visits the rabbit. The rabbit is green. The rabbit is round. The rabbit is young. The rabbit visits the cat. If something is green then it needs the lion. If something chases the lion then it does not need the cow. If something chases the lion then it does not visit the cow. If something needs the lion then the lion is young. If the lion visits the rabbit and the rabbit does not visit the cat then the lion needs the cat. If something is green and rough then it does not need the cat. If something is green and it visits the rabbit then the rabbit does not need the cow. If something is young then it chases the cow.
The cow chases the lion.
@0: The cat chases the lion.[(triple1)] The cat does not visit the lion.[(triple3)] The cat does not visit the rabbit.[(triple4)] The cat is rough.[(triple2)] The cow chases the rabbit.[(triple6)] The cow does not chase the cat.[(triple5)] The cow is rough.[(triple7)] The cow needs the rabbit.[(triple8)] The cow visits the rabbit.[(triple9)] The lion needs the cat.[(triple10)] The lion needs the cow.[(triple11)] The lion visits the rabbit.[(triple12)] The rabbit is green.[(triple13)] The rabbit is round.[(triple14)] The rabbit is young.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The cat does not need the cow.[(((triple1) -> rule2))] The cat does not visit the cow.[(((triple1) -> rule3))] The rabbit chases the cow.[(((triple15) -> rule8))] The rabbit needs the lion.[(((triple13) -> rule1))] @2: The lion is young.[(((((triple13) -> rule1)) -> rule4))] @3: The lion chases the cow.[(((((((triple13) -> rule1)) -> rule4)) -> rule8))]