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