The bald eagle eats the dog. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle needs the dog. The bald eagle does not visit the dog. The dog eats the bald eagle. The dog is green. The dog is rough. The dog is round. The dog does not need the bald eagle. The dog visits the bald eagle. If the dog is round then the dog visits the bald eagle. If something needs the dog and it is green then it is big. If something needs the dog then it is green.
The dog is rough.
@0: The bald eagle does not visit the dog.[(triple6)] The bald eagle eats the dog.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the dog.[(triple5)] The dog does not need the bald eagle.[(triple11)] The dog eats the bald eagle.[(triple7)] The dog is green.[(triple8)] The dog is rough.[(triple9)] The dog is round.[(triple10)] The dog visits the bald eagle.[(triple12 OR ((triple10) -> rule1))] @1: The bald eagle is green.[(((triple5) -> rule3))] @2: The bald eagle is big.[(((triple5 ((triple5) -> rule3)) -> rule2))]