The lion chases the rabbit. The lion eats the rabbit. The lion is young. The rabbit chases the lion. The rabbit is blue. The rabbit is kind. The rabbit is rough. If something eats the lion and it chases the lion then it is blue. If something is rough and it needs the rabbit then it eats the lion. If something chases the lion then it eats the lion. If something eats the lion and it needs the rabbit then the rabbit eats the lion. If something is young and it chases the lion then the lion chases the rabbit. If something chases the rabbit then it chases the lion.
The rabbit is young.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is young.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit is blue.[(triple5 OR ((((triple4) -> rule3) triple4) -> rule1))] The rabbit is kind.[(triple6)] The rabbit is rough.[(triple7)] @1: The lion chases the lion.[(((triple1) -> rule6))] The rabbit eats the lion.[(((triple4) -> rule3))] @2: The lion eats the lion.[(((((triple1) -> rule6)) -> rule3))] @3: The lion is blue.[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))]