The bald eagle is red. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the dog. The bear eats the bald eagle. The bear is big. The bear is round. The bear sees the bald eagle. The bear sees the dog. The bear visits the dog. The dog is green. The dog visits the bear. All red people are cold. If the bear sees the bald eagle then the bear is red. If someone sees the dog and the dog is round then they visit the bear.
The bear is red.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the dog.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is round.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear sees the dog.[(triple9)] The bear visits the dog.[(triple10)] The dog is green.[(triple11)] The dog visits the bear.[(triple12)] @1: The bald eagle is cold.[(((triple1) -> rule1))] The bear is red.[(((triple8) -> rule2))] @2: The bear is cold.[(((((triple8) -> rule2)) -> rule1))]