The cat is not kind. The cat is nice. The cat sees the lion. The cat visits the lion. The lion chases the cat. The lion is kind. The lion is round. If someone visits the lion then they are not kind. If someone is nice then they visit the cat. If someone visits the lion and they are rough then the lion visits the cat. If someone visits the cat and they visit the lion then the lion is rough. If someone chases the lion and they are not red then the lion does not see the cat. If someone sees the cat and the cat visits the lion then they chase the cat. If someone is rough then they see the lion. If someone chases the cat and the cat does not see the lion then the lion is not kind.
The cat chases the lion.
@0: The cat is nice.[(triple2)] The cat is not kind.[(triple1 OR ((triple4) -> rule1))] The cat sees the lion.[(triple3)] The cat visits the lion.[(triple4)] The lion chases the cat.[(triple5)] The lion is kind.[(triple6)] The lion is round.[(triple7)] @1: The cat visits the cat.[(((triple2) -> rule2))] @2: The lion is rough.[(((((triple2) -> rule2) triple4) -> rule4))] @3: The lion sees the lion.[(((((((triple2) -> rule2) triple4) -> rule4)) -> rule7))]