The bald eagle is cold. The bald eagle likes the dog. The bald eagle sees the bear. The bear is red. The bear does not like the bald eagle. The bear likes the dog. The bear does not see the bald eagle. The dog does not like the bald eagle. The dog does not like the bear. The dog sees the bear. The dog does not visit the bald eagle. The dog visits the bear. If someone visits the bald eagle then the bald eagle does not visit the bear. If someone likes the dog and they do not see the dog then they see the bear. If the dog visits the bear then the bear visits the dog. If the bear sees the bald eagle then the bald eagle likes the dog. If someone sees the bear and the bear likes the dog then the dog is blue. If someone visits the dog then the dog sees the bald eagle. If someone sees the bald eagle then they are round. If someone visits the dog and they are not red then the dog visits the bear.
The bald eagle visits the dog.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear does not like the bald eagle.[(triple5)] The bear does not see the bald eagle.[(triple7)] The bear is red.[(triple4)] The bear likes the dog.[(triple6)] The dog does not like the bald eagle.[(triple8)] The dog does not like the bear.[(triple9)] The dog does not visit the bald eagle.[(triple11)] The dog sees the bear.[(triple10)] The dog visits the bear.[(triple12)] @1: The bear visits the dog.[(((triple12) -> rule3))] The dog is blue.[(((triple10 triple6) -> rule5) OR ((triple3 triple6) -> rule5))] @2: The dog sees the bald eagle.[(((((triple12) -> rule3)) -> rule6))] @3: The dog is round.[(((((((triple12) -> rule3)) -> rule6)) -> rule7))]