The cow eats the lion. The cow is blue. The cow is not kind. The cow is nice. The cow is not red. The cow is round. The cow does not need the lion. The cow does not visit the lion. The lion does not eat the cow. The lion is blue. The lion is kind. The lion is nice. The lion is red. The lion needs the cow. The lion visits the cow. If someone visits the cow and the cow eats the lion then the lion needs the cow. If someone needs the cow then they are red.
The lion is not round.
@0: The cow does not need the lion.[(triple7)] The cow does not visit the lion.[(triple8)] The cow eats the lion.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple4)] The cow is not kind.[(triple3)] The cow is not red.[(triple5)] The cow is round.[(triple6)] The lion does not eat the cow.[(triple9)] The lion is blue.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is red.[(triple13 OR ((triple14) -> rule2) OR ((((triple15 triple1) -> rule1)) -> rule2))] The lion needs the cow.[(triple14 OR ((triple15 triple1) -> rule1))] The lion visits the cow.[(triple15)]