The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle likes the dog. The bald eagle sees the dog. The dog chases the bald eagle. The dog is big. The dog is blue. The dog is nice. The dog likes the bald eagle. The dog sees the bald eagle. If someone chases the bald eagle then the bald eagle is big. If someone likes the bald eagle and the bald eagle likes the dog then they are big.
The bald eagle is blue.
@0: The bald eagle is big.[(triple1 OR ((triple7) -> rule1))] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle sees the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is big.[(triple8 OR ((triple11 triple5) -> rule2))] The dog is blue.[(triple9)] The dog is nice.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog sees the bald eagle.[(triple12)]