The bald eagle is green. The bald eagle is round. The bald eagle sees the lion. The cat chases the lion. The cat is blue. The cat is nice. The cat needs the lion. The cat sees the bald eagle. The cat sees the lion. The lion chases the bald eagle. The lion is nice. The lion sees the cat. If something sees the bald eagle then the bald eagle chases the cat.
The cat is not blue.
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the lion.[(triple3)] The cat chases the lion.[(triple4)] The cat is blue.[(triple5)] The cat is nice.[(triple6)] The cat needs the lion.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the lion.[(triple9)] The lion chases the bald eagle.[(triple10)] The lion is nice.[(triple11)] The lion sees the cat.[(triple12)] @1: The bald eagle chases the cat.[(((triple8) -> rule1))]