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