The bald eagle chases the dog. The bald eagle eats the cat. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the dog. The cat is blue. The dog chases the cat. If someone is blue and they eat the cat then the cat is blue. If the dog likes the bald eagle and the bald eagle likes the dog then the bald eagle is young. If the dog does not eat the bald eagle then the dog eats the cat. If someone eats the cat then they eat the dog. If someone is blue then they eat the dog. If someone eats the cat and the cat chases the bald eagle then the bald eagle likes the cat. If the bald eagle eats the dog then the bald eagle is blue. If someone eats the dog then they chase the bald eagle.
The dog does not eat the cat.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the dog.[(triple5)] The cat is blue.[(triple6 OR ((((((triple2) -> rule4)) -> rule7) triple2) -> rule1))] The dog chases the cat.[(triple7)] @1: The bald eagle eats the dog.[(((triple2) -> rule4))] The cat eats the dog.[(((triple6) -> rule5) OR ((((((((triple2) -> rule4)) -> rule7) triple2) -> rule1)) -> rule5))] @2: The bald eagle chases the bald eagle.[(((((triple2) -> rule4)) -> rule8))] The bald eagle is blue.[(((((triple2) -> rule4)) -> rule7))] The cat chases the bald eagle.[(((((triple6) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule4)) -> rule7) triple2) -> rule1)) -> rule5)) -> rule8))] @3: The bald eagle likes the cat.[(((triple2 ((((triple6) -> rule5)) -> rule8)) -> rule6) OR ((triple2 ((((((((((triple2) -> rule4)) -> rule7) triple2) -> rule1)) -> rule5)) -> rule8)) -> rule6))]