The bald eagle chases the cat. The bald eagle eats the rabbit. The bald eagle is green. The bald eagle sees the lion. The cat eats the lion. The cat is cold. The cat is kind. The cat sees the bald eagle. The lion chases the bald eagle. The lion chases the rabbit. The lion eats the bald eagle. The lion eats the rabbit. The lion is nice. The lion sees the cat. The rabbit sees the cat. If something sees the rabbit then it is cold. If something is blue and it eats the lion then it sees the cat. If something eats the cat and it chases the bald eagle then the cat is nice. If something sees the cat and it chases the rabbit then it is blue. If something sees the rabbit then the rabbit is kind. If something chases the cat and it chases the rabbit then the rabbit sees the lion.
The bald eagle is not green.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the lion.[(triple4)] The cat eats the lion.[(triple5)] The cat is cold.[(triple6)] The cat is kind.[(triple7)] The cat sees the bald eagle.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion chases the rabbit.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion eats the rabbit.[(triple12)] The lion is nice.[(triple13)] The lion sees the cat.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The lion is blue.[(((triple14 triple10) -> rule4))]