The cow does not eat the lion. The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is nice. The cow likes the lion. The cow sees the lion. The lion likes the cow. The lion sees the cow. If something eats the lion then the lion sees the cow. If something likes the cow then it eats the lion. If something likes the cow then it is blue. If the lion sees the cow and the lion is blue then the lion eats the cow. If something sees the lion then the lion is cold. If something eats the lion and the lion does not see the cow then the cow likes the lion.
The cow is blue.
@0: The cow does not eat the lion.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5)] The cow is nice.[(triple6)] The cow likes the lion.[(triple7)] The cow sees the lion.[(triple8)] The lion likes the cow.[(triple9)] The lion sees the cow.[(triple10 OR ((((triple9) -> rule2)) -> rule1))] @1: The lion eats the lion.[(((triple9) -> rule2))] The lion is blue.[(((triple9) -> rule3))] The lion is cold.[(((triple8) -> rule5))] @2: The lion eats the cow.[(((triple10 ((triple9) -> rule3)) -> rule4) OR ((((((triple9) -> rule2)) -> rule1) ((triple9) -> rule3)) -> rule4))]