The lion visits the rabbit. The rabbit sees the lion. The rabbit visits the lion. If someone visits the rabbit and they see the lion then they are cold. If someone eats the lion then they eat the rabbit. If someone eats the rabbit then they are red. If someone eats the rabbit and they see the lion then the rabbit is kind. If someone eats the lion then they are nice. If the rabbit sees the lion and the lion is red then the rabbit is red. If the rabbit sees the lion and the rabbit visits the lion then the rabbit eats the lion. If someone sees the rabbit and the rabbit is kind then the rabbit visits the lion.
The lion does not eat the lion.
@0: The lion visits the rabbit.[(triple1)] The rabbit sees the lion.[(triple2)] The rabbit visits the lion.[(triple3)] @1: The rabbit eats the lion.[(((triple2 triple3) -> rule7))] @2: The rabbit eats the rabbit.[(((((triple2 triple3) -> rule7)) -> rule2))] The rabbit is nice.[(((((triple2 triple3) -> rule7)) -> rule5))] @3: The rabbit is kind.[(((((((triple2 triple3) -> rule7)) -> rule2) triple2) -> rule4))] The rabbit is red.[(((((((triple2 triple3) -> rule7)) -> rule2)) -> rule3))]