The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle likes the dog. The bald eagle sees the dog. The bald eagle visits the dog. The dog is big. The dog is cold. The dog is nice. The dog is rough. The dog is round. The dog likes the bald eagle. The dog sees the bald eagle. The dog visits the bald eagle. If someone sees the dog and the dog likes the bald eagle then the bald eagle visits the dog. If the bald eagle sees the dog then the dog is rough. If someone is big and they visit the bald eagle then the bald eagle visits the dog. If the bald eagle is cold and the bald eagle sees the dog then the dog visits the bald eagle. If someone is cold and they visit the bald eagle then they are rough. If the dog visits the bald eagle then the dog is cold. If the bald eagle likes the dog and the bald eagle is big then the dog sees the bald eagle. If someone sees the bald eagle then they like the dog.
The bald eagle is nice.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the dog.[(triple6)] The bald eagle sees the dog.[(triple7)] The bald eagle visits the dog.[(triple8 OR ((triple7 triple14) -> rule1) OR ((triple9 triple16) -> rule3) OR ((triple9 ((triple2 triple7) -> rule4)) -> rule3))] The dog is big.[(triple9)] The dog is cold.[(triple10 OR ((triple16) -> rule6) OR ((((triple2 triple7) -> rule4)) -> rule6))] The dog is nice.[(triple11)] The dog is rough.[(triple12 OR ((triple7) -> rule2) OR ((triple10 triple16) -> rule5) OR ((triple10 ((triple2 triple7) -> rule4)) -> rule5) OR ((((triple16) -> rule6) triple16) -> rule5) OR ((((triple16) -> rule6) ((triple2 triple7) -> rule4)) -> rule5) OR ((((((triple2 triple7) -> rule4)) -> rule6) triple16) -> rule5) OR ((((((triple2 triple7) -> rule4)) -> rule6) ((triple2 triple7) -> rule4)) -> rule5))] The dog is round.[(triple13)] The dog likes the bald eagle.[(triple14)] The dog sees the bald eagle.[(triple15 OR ((triple6 triple1) -> rule7))] The dog visits the bald eagle.[(triple16 OR ((triple2 triple7) -> rule4))] @1: The dog likes the dog.[(((triple15) -> rule8) OR ((((triple6 triple1) -> rule7)) -> rule8))]