The cow chases the lion. The cow is blue. The cow is cold. The cow is green. The cow is rough. The cow is young. The cow likes the lion. The cow visits the lion. The lion chases the cow. The lion is blue. The lion is cold. The lion is green. The lion is rough. The lion is young. The lion likes the cow. The lion visits the cow. If the lion likes the cow then the lion visits the cow. If something visits the cow and it visits the lion then it likes the lion. If something is young then it likes the cow. If something is green and it visits the cow then the cow visits the lion. If something chases the cow and it visits the cow then it is cold. If something is young then it likes the lion. If something is young then it likes the lion. If something is rough then it is green.
The lion does not chase the lion.
@0: The cow chases the lion.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4 OR ((triple5) -> rule8))] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow likes the lion.[(triple7 OR ((triple6) -> rule6) OR ((triple6) -> rule7))] The cow visits the lion.[(triple8 OR ((triple12 triple16) -> rule4) OR ((triple12 ((triple15) -> rule1)) -> rule4) OR ((((triple13) -> rule8) triple16) -> rule4) OR ((((triple13) -> rule8) ((triple15) -> rule1)) -> rule4) OR ((triple12 ((((triple14) -> rule3)) -> rule1)) -> rule4) OR ((((triple13) -> rule8) ((((triple14) -> rule3)) -> rule1)) -> rule4))] The lion chases the cow.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11 OR ((triple9 triple16) -> rule5) OR ((triple9 ((triple15) -> rule1)) -> rule5) OR ((triple9 ((((triple14) -> rule3)) -> rule1)) -> rule5))] The lion is green.[(triple12 OR ((triple13) -> rule8))] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion likes the cow.[(triple15 OR ((triple14) -> rule3))] The lion visits the cow.[(triple16 OR ((triple15) -> rule1) OR ((((triple14) -> rule3)) -> rule1))] @1: The cow likes the cow.[(((triple6) -> rule3))] The lion likes the lion.[(((triple14) -> rule6) OR ((triple14) -> rule7))]