The bald eagle chases the dog. The bald eagle is blue. The bald eagle is round. The bald eagle likes the lion. The bald eagle needs the lion. The dog chases the bald eagle. The dog is blue. The dog is cold. The dog likes the lion. The lion chases the dog. The lion is nice. The lion is round. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. The lion needs the dog. If something needs the bald eagle and it is cold then the bald eagle likes the lion. If the dog chases the bald eagle then the dog is young. If something chases the lion and it chases the bald eagle then the lion chases the dog. If something is nice then it chases the dog. If something likes the bald eagle and it chases the lion then the lion is cold. If something needs the lion and the lion needs the bald eagle then it is cold. If something chases the dog then it likes the dog. If something chases the dog then the dog is nice.
The dog chases the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the lion.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog likes the lion.[(triple9)] The lion chases the dog.[(triple10 OR ((triple11) -> rule4))] The lion is nice.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion needs the dog.[(triple16)] @1: The bald eagle is cold.[(((triple5 triple15) -> rule6))] The bald eagle likes the dog.[(((triple1) -> rule7))] The dog is nice.[(((triple1) -> rule8) OR ((triple10) -> rule8) OR ((((triple11) -> rule4)) -> rule8))] The dog is young.[(((triple6) -> rule2))] The lion likes the dog.[(((triple10) -> rule7) OR ((((triple11) -> rule4)) -> rule7))] @2: The dog chases the dog.[(((((triple1) -> rule8)) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple11) -> rule4)) -> rule8)) -> rule4))] @3: The dog likes the dog.[(((((((triple1) -> rule8)) -> rule4)) -> rule7) OR ((((((triple10) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule4)) -> rule7))]