The cow does not eat the lion. The cow is kind. The cow is nice. The cow needs the lion. The cow does not see the lion. The lion eats the cow. The lion is cold. The lion is kind. The lion is red. The lion is not rough. The lion needs the cow. The lion sees the cow. If something eats the lion then the lion sees the cow. If something needs the cow and the cow sees the lion then it is not red.
The lion is not rough.
@0: The cow does not eat the lion.[(triple1)] The cow does not see the lion.[(triple5)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow needs the lion.[(triple4)] The lion eats the cow.[(triple6)] The lion is cold.[(triple7)] The lion is kind.[(triple8)] The lion is not rough.[(triple10)] The lion is red.[(triple9)] The lion needs the cow.[(triple11)] The lion sees the cow.[(triple12)]