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