The bald eagle is big. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the bald eagle. The bear chases the cat. The bear is big. The bear is green. The bear is kind. The bear is nice. The bear likes the bald eagle. The bear likes the cat. The bear visits the bald eagle. The bear visits the cat. The cat chases the bear. The cat is blue. If someone visits the bald eagle then they visit the cat. If someone visits the cat and they visit the bald eagle then they chase the bear.
The cat does not visit the cat.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the cat.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the cat.[(triple5)] The bear is big.[(triple6)] The bear is green.[(triple7)] The bear is kind.[(triple8)] The bear is nice.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear likes the cat.[(triple11)] The bear visits the bald eagle.[(triple12)] The bear visits the cat.[(triple13 OR ((triple12) -> rule1))] The cat chases the bear.[(triple14)] The cat is blue.[(triple15)] @1: The bear chases the bear.[(((triple13 triple12) -> rule2) OR ((((triple12) -> rule1) triple12) -> rule2))]