The bald eagle chases the dog. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bald eagle likes the dog. The bald eagle needs the dog. The dog chases the bald eagle. The dog is blue. The dog is cold. The dog likes the bald eagle. The dog needs the bald eagle. If someone chases the bald eagle and they are young then they are nice. If someone is nice and they chase the dog then they are cold. If the bald eagle chases the dog and the bald eagle needs the dog then the dog likes the bald eagle. All young people are cold. If the bald eagle is blue and the bald eagle chases the dog then the dog chases the bald eagle. If someone is young and they need the bald eagle then they like the bald eagle. If someone likes the bald eagle then they are nice. If someone needs the bald eagle and the bald eagle chases the dog then the bald eagle needs the dog.
The dog chases the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5) -> rule4) OR ((triple4 triple1) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the dog.[(triple6)] The bald eagle needs the dog.[(triple7 OR ((triple12 triple1) -> rule8))] The dog chases the bald eagle.[(triple8)] The dog is blue.[(triple9)] The dog is cold.[(triple10)] The dog likes the bald eagle.[(triple11 OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple12 triple1) -> rule8)) -> rule3))] The dog needs the bald eagle.[(triple12)] @1: The dog is nice.[(((triple11) -> rule7) OR ((((triple1 triple7) -> rule3)) -> rule7) OR ((((triple1 ((triple12 triple1) -> rule8)) -> rule3)) -> rule7))]