The bald eagle sees the rabbit. The lion is not big. The lion is kind. The lion likes the bald eagle. The lion sees the squirrel. The rabbit is not big. The squirrel is not green. The squirrel is red. The squirrel does not like the lion. The squirrel sees the rabbit. If something likes the squirrel and it likes the rabbit then it does not see the bald eagle. If something likes the rabbit then it chases the lion. If something likes the lion then the lion sees the bald eagle. If something is nice and it chases the rabbit then the rabbit likes the lion. If something chases the lion then it is nice. If something is red then it likes the rabbit.
The lion chases the rabbit.
@0: The bald eagle sees the rabbit.[(triple1)] The lion is kind.[(triple3)] The lion is not big.[(triple2)] The lion likes the bald eagle.[(triple4)] The lion sees the squirrel.[(triple5)] The rabbit is not big.[(triple6)] The squirrel does not like the lion.[(triple9)] The squirrel is not green.[(triple7)] The squirrel is red.[(triple8)] The squirrel sees the rabbit.[(triple10)] @1: The squirrel likes the rabbit.[(((triple8) -> rule6))] @2: The squirrel chases the lion.[(((((triple8) -> rule6)) -> rule2))] @3: The squirrel is nice.[(((((((triple8) -> rule6)) -> rule2)) -> rule5))]