The lion is kind. The lion likes the rabbit. The lion needs the rabbit. The rabbit is round. The rabbit likes the lion. The rabbit needs the lion. The rabbit visits the lion. If someone visits the lion and they are blue then the lion is kind. If the rabbit likes the lion then the rabbit is blue. If the lion visits the rabbit then the rabbit visits the lion.
The rabbit does not need the rabbit.
@0: The lion is kind.[(triple1 OR ((triple7 ((triple5) -> rule2)) -> rule1))] The lion likes the rabbit.[(triple2)] The lion needs the rabbit.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the lion.[(triple5)] The rabbit needs the lion.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The rabbit is blue.[(((triple5) -> rule2))]