The bald eagle is cold. The bald eagle is red. The bald eagle is rough. The bald eagle visits the dog. The dog chases the rabbit. The dog is rough. The dog sees the bald eagle. The lion chases the dog. The lion chases the rabbit. The lion is cold. The lion visits the dog. The rabbit is cold. The rabbit sees the bald eagle. The rabbit sees the dog. The rabbit visits the bald eagle. The rabbit visits the lion. If someone visits the bald eagle then they are green. If someone chases the bald eagle then the bald eagle chases the dog. If someone visits the bald eagle and they are green then they are round. If someone sees the lion and the lion is cold then the lion chases the bald eagle. If someone is red then they see the lion. If the lion sees the dog then the lion is red.
The bald eagle chases the dog.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog chases the rabbit.[(triple5)] The dog is rough.[(triple6)] The dog sees the bald eagle.[(triple7)] The lion chases the dog.[(triple8)] The lion chases the rabbit.[(triple9)] The lion is cold.[(triple10)] The lion visits the dog.[(triple11)] The rabbit is cold.[(triple12)] The rabbit sees the bald eagle.[(triple13)] The rabbit sees the dog.[(triple14)] The rabbit visits the bald eagle.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The bald eagle sees the lion.[(((triple2) -> rule5))] The rabbit is green.[(((triple15) -> rule1))] @2: The lion chases the bald eagle.[(((((triple2) -> rule5) triple10) -> rule4))] The rabbit is round.[(((triple15 ((triple15) -> rule1)) -> rule3))] @3: The bald eagle chases the dog.[(((((((triple2) -> rule5) triple10) -> rule4)) -> rule2))]