The bald eagle chases the rabbit. The bald eagle is red. The bald eagle is round. The bald eagle likes the squirrel. The lion chases the squirrel. The lion is round. The rabbit is green. The rabbit is nice. The rabbit likes the bald eagle. The rabbit sees the squirrel. The squirrel is round. The squirrel sees the bald eagle. If something likes the rabbit then the rabbit sees the lion. If something chases the squirrel and it likes the bald eagle then the squirrel is nice. If something is nice and it likes the squirrel then the squirrel chases the rabbit. If something likes the bald eagle and it sees the rabbit then it likes the squirrel. If something likes the squirrel and it likes the lion then the lion likes the bald eagle. If something is young then it sees the rabbit. Green things are round. All round things are young. If the squirrel is nice then the squirrel likes the rabbit.
The rabbit likes the squirrel.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is round.[(triple6)] The rabbit is green.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel is round.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The bald eagle is young.[(((triple3) -> rule8))] The lion is young.[(((triple6) -> rule8))] The rabbit is round.[(((triple7) -> rule7))] The squirrel is young.[(((triple11) -> rule8))] @2: The bald eagle sees the rabbit.[(((((triple3) -> rule8)) -> rule6))] The lion sees the rabbit.[(((((triple6) -> rule8)) -> rule6))] The rabbit is young.[(((((triple7) -> rule7)) -> rule8))] The squirrel sees the rabbit.[(((((triple11) -> rule8)) -> rule6))] @3: The rabbit sees the rabbit.[(((((((triple7) -> rule7)) -> rule8)) -> rule6))] @4: The rabbit likes the squirrel.[(((triple9 ((((((triple7) -> rule7)) -> rule8)) -> rule6)) -> rule4))] @5: The squirrel chases the rabbit.[(((triple8 ((triple9 ((((((triple7) -> rule7)) -> rule8)) -> rule6)) -> rule4)) -> rule3))]