The cat chases the lion. The cat is round. The cat is young. The lion chases the cat. The lion is blue. The lion is red. The lion needs the cat. All red people are round. If someone visits the cat and the cat visits the lion then the cat needs the lion. If someone is kind then they chase the lion.
The lion visits the cat.
@0: The cat chases the lion.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The lion chases the cat.[(triple4)] The lion is blue.[(triple5)] The lion is red.[(triple6)] The lion needs the cat.[(triple7)] @1: The lion is round.[(((triple6) -> rule1))]