The cat is not kind. The cat is young. The cat does not like the lion. The cat visits the lion. The lion is green. The lion is kind. The lion likes the cat. If something visits the lion and the lion does not like the cat then the cat is young. If the lion does not like the cat then the cat is green. If something is rough then it visits the lion.
The lion does not visit the lion.
@0: The cat does not like the lion.[(triple3)] The cat is not kind.[(triple1)] The cat is young.[(triple2)] The cat visits the lion.[(triple4)] The lion is green.[(triple5)] The lion is kind.[(triple6)] The lion likes the cat.[(triple7)]