The cow chases the lion. The cow likes the lion. The lion chases the cow. The lion eats the cow. The lion is blue. The lion is green. The lion likes the cow. If something eats the cow then the cow eats the lion. If something chases the lion then it likes the cow. If something eats the cow then it chases the lion. If something likes the cow then the cow is red. If something likes the lion then the lion is blue. If the lion chases the cow and the lion eats the cow then the lion likes the cow. If the lion eats the cow then the lion likes the cow. If something is green then it likes the lion.
The cow is not blue.
@0: The cow chases the lion.[(triple1)] The cow likes the lion.[(triple2)] The lion chases the cow.[(triple3)] The lion eats the cow.[(triple4)] The lion is blue.[(triple5 OR ((triple2) -> rule5) OR ((((triple6) -> rule8)) -> rule5))] The lion is green.[(triple6)] The lion likes the cow.[(triple7 OR ((triple4) -> rule7) OR ((triple3 triple4) -> rule6) OR ((((triple4) -> rule3)) -> rule2))] @1: The cow eats the lion.[(((triple4) -> rule1))] The cow is red.[(((triple7) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple4) -> rule7)) -> rule4) OR ((((triple3 triple4) -> rule6)) -> rule4) OR ((((((triple4) -> rule3)) -> rule2)) -> rule4))] The cow likes the cow.[(((triple1) -> rule2))] The lion chases the lion.[(((triple4) -> rule3))] The lion likes the lion.[(((triple6) -> rule8))]