The bald eagle chases the rabbit. The bald eagle eats the lion. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The lion is kind. The rabbit likes the lion. If someone chases the rabbit then they chase the lion. If someone chases the lion and the lion is kind then the lion chases the bald eagle. If someone eats the lion then they chase the lion. If someone chases the bald eagle then the bald eagle likes the rabbit. If someone likes the bald eagle then the bald eagle chases the rabbit. If the lion is kind then the lion chases the rabbit.
The rabbit chases the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The lion is kind.[(triple6)] The rabbit likes the lion.[(triple7)] @1: The bald eagle chases the lion.[(((triple1) -> rule1) OR ((triple2) -> rule3))] The lion chases the rabbit.[(((triple6) -> rule6))] @2: The lion chases the bald eagle.[(((((triple1) -> rule1) triple6) -> rule2) OR ((((triple2) -> rule3) triple6) -> rule2) OR ((((((triple6) -> rule6)) -> rule1) triple6) -> rule2))] The lion chases the lion.[(((((triple6) -> rule6)) -> rule1))] @3: The bald eagle likes the rabbit.[(((((((triple1) -> rule1) triple6) -> rule2)) -> rule4) OR ((((((triple2) -> rule3) triple6) -> rule2)) -> rule4) OR ((((((((triple6) -> rule6)) -> rule1) triple6) -> rule2)) -> rule4))]