The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle visits the dog. The dog is big. The dog is green. The dog is kind. The dog is round. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. If something is round and kind then it likes the dog.
The bald eagle does not like the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the dog.[(triple6 OR ((triple5 triple4) -> rule1))] The bald eagle needs the dog.[(triple7)] The bald eagle visits the dog.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog is kind.[(triple11)] The dog is round.[(triple12)] The dog likes the bald eagle.[(triple13)] The dog needs the bald eagle.[(triple14)] The dog visits the bald eagle.[(triple15)] @1: The dog likes the dog.[(((triple12 triple11) -> rule1))]