The bald eagle eats the dog. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle likes the dog. The bald eagle needs the dog. The bear eats the bald eagle. The bear likes the bald eagle. The bear likes the dog. The bear needs the bald eagle. The bear needs the dog. The dog eats the bear. The dog is cold. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the bear. If something likes the dog then it eats the dog. If something eats the bear and it likes the dog then the dog is kind. If something likes the bald eagle then it eats the bear. If something likes the bald eagle and it is nice then the bald eagle is blue. If something is kind and it needs the bear then the bear is kind. Red things are cold.
The dog needs the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple5) -> rule1))] The bald eagle is cold.[(triple2 OR ((triple4) -> rule6))] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle needs the dog.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear likes the bald eagle.[(triple8)] The bear likes the dog.[(triple9)] The bear needs the bald eagle.[(triple10)] The bear needs the dog.[(triple11)] The dog eats the bear.[(triple12 OR ((triple14) -> rule3))] The dog is cold.[(triple13)] The dog likes the bald eagle.[(triple14)] The dog needs the bald eagle.[(triple15)] The dog needs the bear.[(triple16)] @1: The bear eats the bear.[(((triple8) -> rule3))] The bear eats the dog.[(((triple9) -> rule1))] @2: The dog is kind.[(((((triple8) -> rule3) triple9) -> rule2))] @3: The bear is kind.[(((((((triple8) -> rule3) triple9) -> rule2) triple16) -> rule5))]