The bald eagle is rough. The bald eagle needs the dog. The bald eagle visits the dog. The dog is big. The dog is nice. The dog is rough. The dog is young. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. If the dog likes the bald eagle and the dog needs the bald eagle then the dog visits the bald eagle. If someone visits the bald eagle then they like the dog. If someone visits the bald eagle and the bald eagle needs the dog then the bald eagle likes the dog. If someone is rough and they need the dog then they visit the dog. If the bald eagle likes the dog then the dog is round. If someone is big and young then they like the bald eagle.
The dog is rough.
@0: The bald eagle is rough.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle visits the dog.[(triple3 OR ((triple1 triple2) -> rule4))] The dog is big.[(triple4)] The dog is nice.[(triple5)] The dog is rough.[(triple6)] The dog is young.[(triple7)] The dog likes the bald eagle.[(triple8 OR ((triple4 triple7) -> rule6))] The dog needs the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10 OR ((triple8 triple9) -> rule1) OR ((((triple4 triple7) -> rule6) triple9) -> rule1))] @1: The bald eagle likes the dog.[(((triple10 triple2) -> rule3) OR ((((triple8 triple9) -> rule1) triple2) -> rule3) OR ((((((triple4 triple7) -> rule6) triple9) -> rule1) triple2) -> rule3))] The dog likes the dog.[(((triple10) -> rule2) OR ((((triple8 triple9) -> rule1)) -> rule2) OR ((((((triple4 triple7) -> rule6) triple9) -> rule1)) -> rule2))] @2: The dog is round.[(((((triple10 triple2) -> rule3)) -> rule5) OR ((((((triple8 triple9) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((((triple4 triple7) -> rule6) triple9) -> rule1) triple2) -> rule3)) -> rule5))]