The cow is blue. The cow is cold. The cow is kind. The cow is nice. The cow likes the lion. The cow needs the lion. The cow visits the lion. The lion is blue. The lion is cold. The lion is kind. The lion is not nice. The lion is rough. The lion likes the cow. The lion needs the cow. The lion does not visit the cow. If someone needs the cow then the cow visits the lion. If someone visits the lion and they do not need the cow then the cow needs the lion. If someone needs the lion and they are kind then they do not like the cow. If the cow needs the lion and the lion visits the cow then the lion is not cold. If someone likes the lion and they do not need the cow then the cow likes the lion. If someone is kind and they do not need the lion then the lion likes the cow.
The cow needs the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow likes the lion.[(triple5)] The cow needs the lion.[(triple6)] The cow visits the lion.[(triple7 OR ((triple14) -> rule1))] The lion does not visit the cow.[(triple15)] The lion is blue.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion is not nice.[(triple11)] The lion is rough.[(triple12)] The lion likes the cow.[(triple13)] The lion needs the cow.[(triple14)] @1: The cow does not like the cow.[(((triple6 triple3) -> rule3))]