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