The bald eagle is red. The bald eagle is rough. The bear is big. The dog eats the bear. The dog is cold. The dog is nice. The dog is rough. The dog likes the lion. The lion eats the bear. The lion is big. The lion is cold. The lion is nice. If something chases the lion then the lion chases the dog. If something is nice then it eats the bald eagle. If the bear likes the dog then the dog likes the bear.
The lion does not chase the dog.
@0: The bald eagle is red.[(triple1)] The bald eagle is rough.[(triple2)] The bear is big.[(triple3)] The dog eats the bear.[(triple4)] The dog is cold.[(triple5)] The dog is nice.[(triple6)] The dog is rough.[(triple7)] The dog likes the lion.[(triple8)] The lion eats the bear.[(triple9)] The lion is big.[(triple10)] The lion is cold.[(triple11)] The lion is nice.[(triple12)] @1: The dog eats the bald eagle.[(((triple6) -> rule2))] The lion eats the bald eagle.[(((triple12) -> rule2))]