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