The lion chases the rabbit. The lion likes the rabbit. The rabbit is red. The rabbit is round. The rabbit visits the tiger. The tiger is not young. The tiger does not like the rabbit. If something visits the rabbit then it is kind. If something is round and kind then it does not like the lion. If something is red then it chases the tiger. If something visits the lion then the lion chases the tiger. If something is young and it likes the rabbit then the rabbit does not chase the lion. If something is red then it visits the rabbit.
The rabbit chases the rabbit.
@0: The lion chases the rabbit.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit is red.[(triple3)] The rabbit is round.[(triple4)] The rabbit visits the tiger.[(triple5)] The tiger does not like the rabbit.[(triple7)] The tiger is not young.[(triple6)] @1: The rabbit chases the tiger.[(((triple3) -> rule3))] The rabbit visits the rabbit.[(((triple3) -> rule6))] @2: The rabbit is kind.[(((((triple3) -> rule6)) -> rule1))] @3: The rabbit does not like the lion.[(((triple4 ((((triple3) -> rule6)) -> rule1)) -> rule2))]