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