The lion sees the rabbit. The rabbit needs the lion. If someone sees the lion then they need the lion. If the rabbit sees the lion and the lion does not like the rabbit then the lion is round. If the rabbit needs the lion and the lion is red then the rabbit does not like the lion. All round people are big. If someone needs the lion then they need the rabbit. If someone sees the rabbit then they are blue. If someone sees the rabbit then they see the lion. If someone sees the rabbit and they do not need the lion then they do not like the lion.
The lion does not need the lion.
@0: The lion sees the rabbit.[(triple1)] The rabbit needs the lion.[(triple2)] @1: The lion is blue.[(((triple1) -> rule6))] The lion sees the lion.[(((triple1) -> rule7))] The rabbit needs the rabbit.[(((triple2) -> rule5))] @2: The lion needs the lion.[(((((triple1) -> rule7)) -> rule1))] @3: The lion needs the rabbit.[(((((((triple1) -> rule7)) -> rule1)) -> rule5))]