The bald eagle eats the bear. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle likes the bear. The bald eagle visits the bear. The bear eats the bald eagle. The bear is green. The bear is rough. The bear is round. The bear is young. The bear likes the bald eagle. The bear visits the bald eagle. If someone is green and they eat the bear then they visit the bear. If someone eats the bear then they visit the bald eagle. If someone eats the bald eagle and they like the bear then they eat the bear. If someone visits the bald eagle then the bald eagle eats the bear. If someone likes the bald eagle and the bald eagle eats the bear then the bald eagle visits the bear. If someone is green and they like the bald eagle then they like the bear. If someone eats the bear and the bear visits the bald eagle then the bald eagle eats the bear. If the bear is young and the bear eats the bald eagle then the bear likes the bald eagle.
The bear does not visit the bear.
@0: The bald eagle eats the bear.[(triple1 OR ((triple15) -> rule4) OR ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) triple15) -> rule7) OR ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) triple15) -> rule7) OR ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7))] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple14 triple1) -> rule5) OR ((triple2 triple1) -> rule1) OR ((triple14 ((triple15) -> rule4)) -> rule5) OR ((triple2 ((triple15) -> rule4)) -> rule1) OR ((((triple13 triple9) -> rule8) triple1) -> rule5) OR ((((triple13 triple9) -> rule8) ((triple15) -> rule4)) -> rule5) OR ((triple14 ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) triple15) -> rule7)) -> rule5) OR ((triple2 ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) triple15) -> rule7)) -> rule1) OR ((((triple13 triple9) -> rule8) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) triple15) -> rule7)) -> rule5) OR ((triple14 ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule5) OR ((triple14 ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) triple15) -> rule7)) -> rule5) OR ((triple2 ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule1) OR ((triple2 ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) triple15) -> rule7)) -> rule1) OR ((((triple13 triple9) -> rule8) ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule5) OR ((((triple13 triple9) -> rule8) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) triple15) -> rule7)) -> rule5) OR ((triple14 ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((triple2 ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((triple14 ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((triple2 ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((triple13 triple9) -> rule8) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((((triple13 triple9) -> rule8) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((triple14 ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule5) OR ((triple2 ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule1) OR ((((triple13 triple9) -> rule8) ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule5) OR ((triple14 ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((triple2 ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((triple14 ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((triple2 ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((triple13 triple9) -> rule8) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((((triple13 triple9) -> rule8) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule5))] The bear eats the bald eagle.[(triple9)] The bear is green.[(triple10)] The bear is rough.[(triple11)] The bear is round.[(triple12)] The bear is young.[(triple13)] The bear likes the bald eagle.[(triple14 OR ((triple13 triple9) -> rule8))] The bear visits the bald eagle.[(triple15 OR ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2) OR ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2))] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule2) OR ((((triple15) -> rule4)) -> rule2) OR ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3) triple15) -> rule7)) -> rule2) OR ((((((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule2) OR ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) triple15) -> rule7)) -> rule2) OR ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule2) OR ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule2) OR ((((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule2) OR ((((((triple9 ((triple10 triple14) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule2) OR ((((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3) ((((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule2))] The bear likes the bear.[(((triple10 triple14) -> rule6) OR ((triple10 ((triple13 triple9) -> rule8)) -> rule6))] @2: The bear eats the bear.[(((triple9 ((triple10 triple14) -> rule6)) -> rule3) OR ((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3))] @3: The bear visits the bear.[(((triple10 ((triple9 ((triple10 triple14) -> rule6)) -> rule3)) -> rule1) OR ((triple10 ((triple9 ((triple10 ((triple13 triple9) -> rule8)) -> rule6)) -> rule3)) -> rule1))]