The cow is rough. The cow likes the lion. The cow needs the lion. The cow visits the lion. The lion is cold. The lion is kind. The lion is nice. The lion is rough. The lion is young. The lion likes the cow. The lion needs the cow. The lion visits the cow. If the cow is young then the cow needs the lion. If something likes the cow then it is nice.
The lion does not like the cow.
@0: The cow is rough.[(triple1)] The cow likes the lion.[(triple2)] The cow needs the lion.[(triple3)] The cow visits the lion.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion is nice.[(triple7 OR ((triple10) -> rule2))] The lion is rough.[(triple8)] The lion is young.[(triple9)] The lion likes the cow.[(triple10)] The lion needs the cow.[(triple11)] The lion visits the cow.[(triple12)]