The lion chases the rabbit. The lion eats the rabbit. The lion is young. The lion sees the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is young. If someone eats the lion then they are green. If someone sees the lion then they see the rabbit. If someone chases the rabbit then the rabbit chases the lion. If someone chases the rabbit then the rabbit sees the lion. If someone sees the rabbit then they are nice. If someone sees the rabbit then the rabbit chases the lion.
The lion does not see the lion.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is young.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit chases the lion.[(triple5 OR ((triple1) -> rule3) OR ((triple4) -> rule6) OR ((((((triple1) -> rule4)) -> rule2)) -> rule6))] The rabbit eats the lion.[(triple6)] The rabbit is young.[(triple7)] @1: The lion is nice.[(((triple4) -> rule5))] The rabbit is green.[(((triple6) -> rule1))] The rabbit sees the lion.[(((triple1) -> rule4))] @2: The rabbit sees the rabbit.[(((((triple1) -> rule4)) -> rule2))] @3: The rabbit is nice.[(((((((triple1) -> rule4)) -> rule2)) -> rule5))]