The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle likes the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog is big. The dog is cold. The dog is green. The dog is red. The dog is rough. The dog likes the bald eagle. If someone is cold then they like the bald eagle. If someone likes the bald eagle then they eat the bald eagle. If the bald eagle likes the dog then the bald eagle eats the dog.
The dog likes the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2 OR ((triple8) -> rule3))] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle is rough.[(triple7)] The bald eagle likes the dog.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog eats the bald eagle.[(triple10 OR ((triple16) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] The dog is big.[(triple11)] The dog is cold.[(triple12)] The dog is green.[(triple13)] The dog is red.[(triple14)] The dog is rough.[(triple15)] The dog likes the bald eagle.[(triple16 OR ((triple12) -> rule1))] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule1))] @2: The bald eagle eats the bald eagle.[(((((triple4) -> rule1)) -> rule2))]