The bald eagle chases the dog. The bald eagle is green. The bald eagle likes the lion. The bald eagle sees the dog. The dog chases the bald eagle. The dog is red. The dog likes the bald eagle. The dog likes the lion. The dog sees the bald eagle. The dog sees the lion. The lion chases the bald eagle. The lion is cold. The lion is green. The lion likes the bald eagle. The lion likes the dog. The lion sees the bald eagle. If the dog sees the lion and the lion chases the bald eagle then the dog likes the bald eagle. If something is cold then it chases the bald eagle. If the bald eagle is red then the bald eagle likes the dog. If something likes the bald eagle then it is kind. If something is green and it likes the lion then it is cold. If something is cold and it likes the lion then the lion likes the bald eagle.
The bald eagle chases the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is red.[(triple6)] The dog likes the bald eagle.[(triple7 OR ((triple10 triple11) -> rule1) OR ((triple10 ((triple12) -> rule2)) -> rule1))] The dog likes the lion.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the lion.[(triple10)] The lion chases the bald eagle.[(triple11 OR ((triple12) -> rule2))] The lion is cold.[(triple12)] The lion is green.[(triple13)] The lion likes the bald eagle.[(triple14 OR ((((triple2 triple3) -> rule5) triple3) -> rule6))] The lion likes the dog.[(triple15)] The lion sees the bald eagle.[(triple16)] @1: The bald eagle is cold.[(((triple2 triple3) -> rule5))] The dog is kind.[(((triple7) -> rule4) OR ((((triple10 triple11) -> rule1)) -> rule4) OR ((((triple10 ((triple12) -> rule2)) -> rule1)) -> rule4))] The lion is kind.[(((triple14) -> rule4) OR ((((((triple2 triple3) -> rule5) triple3) -> rule6)) -> rule4))] @2: The bald eagle chases the bald eagle.[(((((triple2 triple3) -> rule5)) -> rule2))]