The lion does not chase the rabbit. The lion is green. The lion sees the rabbit. The rabbit chases the lion. The rabbit is green. The rabbit needs the lion. The rabbit sees the lion. If the rabbit needs the lion then the rabbit chases the lion. If something sees the rabbit and the rabbit sees the lion then it chases the lion. If something needs the lion then the lion needs the rabbit. All nice things are red. If something is young then it needs the rabbit. If something needs the rabbit then it needs the lion.
The rabbit sees the lion.
@0: The lion does not chase the rabbit.[(triple1)] The lion is green.[(triple2)] The lion sees the rabbit.[(triple3)] The rabbit chases the lion.[(triple4 OR ((triple6) -> rule1))] The rabbit is green.[(triple5)] The rabbit needs the lion.[(triple6)] The rabbit sees the lion.[(triple7)] @1: The lion chases the lion.[(((triple3 triple7) -> rule2))] The lion needs the rabbit.[(((triple6) -> rule3))] @2: The lion needs the lion.[(((((triple6) -> rule3)) -> rule6))]