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