The cat is kind. The lion is not kind. The lion visits the cat. If someone likes the lion and the lion likes the cat then they do not visit the cat. If someone is young then they visit the cat. If someone likes the lion then the lion is blue. If someone visits the cat then they like the cat. If someone likes the lion and they do not visit the cat then they need the cat. If someone visits the lion and the lion does not like the cat then the lion is kind.
The lion is not kind.
@0: The cat is kind.[(triple1)] The lion is not kind.[(triple2)] The lion visits the cat.[(triple3)] @1: The lion likes the cat.[(((triple3) -> rule4))]