The bald eagle is green. The bald eagle likes the bear. The bald eagle likes the lion. The bald eagle visits the lion. The bear is kind. The bear likes the lion. The bear needs the lion. The bear visits the bald eagle. The bear visits the lion. The lion is big. The lion is kind. The lion is rough. The lion likes the bear. The lion needs the bald eagle. The lion visits the bald eagle. The lion visits the bear. If something likes the bald eagle and it needs the bald eagle then it needs the lion. If something is green and it needs the bald eagle then the bald eagle is round. If something visits the lion and it needs the lion then the lion is green. If something visits the bear and it likes the bear then the bear likes the lion. If something visits the bald eagle then the bald eagle needs the lion. If something visits the lion then the lion likes the bald eagle. If the bald eagle needs the lion and the bald eagle is round then the bald eagle is rough. If something is kind then it visits the lion.
The bear likes the lion.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle visits the lion.[(triple4)] The bear is kind.[(triple5)] The bear likes the lion.[(triple6 OR ((triple16 triple13) -> rule4))] The bear needs the lion.[(triple7)] The bear visits the bald eagle.[(triple8)] The bear visits the lion.[(triple9 OR ((triple5) -> rule8))] The lion is big.[(triple10)] The lion is kind.[(triple11)] The lion is rough.[(triple12)] The lion likes the bear.[(triple13)] The lion needs the bald eagle.[(triple14)] The lion visits the bald eagle.[(triple15)] The lion visits the bear.[(triple16)] @1: The bald eagle needs the lion.[(((triple15) -> rule5) OR ((triple8) -> rule5))] The lion is green.[(((triple9 triple7) -> rule3) OR ((triple4 ((triple15) -> rule5)) -> rule3) OR ((triple4 ((triple8) -> rule5)) -> rule3) OR ((((triple5) -> rule8) triple7) -> rule3) OR ((((triple11) -> rule8) ((((triple4) -> rule6) triple14) -> rule1)) -> rule3) OR ((((triple11) -> rule8) ((((triple9) -> rule6) triple14) -> rule1)) -> rule3) OR ((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) OR ((((triple11) -> rule8) ((((((triple5) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3))] The lion likes the bald eagle.[(((triple4) -> rule6) OR ((triple9) -> rule6) OR ((((triple11) -> rule8)) -> rule6) OR ((((triple5) -> rule8)) -> rule6))] The lion visits the lion.[(((triple11) -> rule8))] @2: The bald eagle is round.[(((((triple9 triple7) -> rule3) triple14) -> rule2) OR ((((triple4 ((triple15) -> rule5)) -> rule3) triple14) -> rule2) OR ((((triple4 ((triple8) -> rule5)) -> rule3) triple14) -> rule2) OR ((((((triple5) -> rule8) triple7) -> rule3) triple14) -> rule2) OR ((((((triple11) -> rule8) ((((triple4) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2) OR ((((((triple11) -> rule8) ((((triple9) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2) OR ((((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2) OR ((((((triple11) -> rule8) ((((((triple5) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2))] The lion needs the lion.[(((((triple4) -> rule6) triple14) -> rule1) OR ((((triple9) -> rule6) triple14) -> rule1) OR ((((((triple11) -> rule8)) -> rule6) triple14) -> rule1) OR ((((((triple5) -> rule8)) -> rule6) triple14) -> rule1))] @3: The bald eagle is rough.[(((((triple15) -> rule5) ((((triple9 triple7) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((triple9 triple7) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((triple4 ((triple15) -> rule5)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((triple4 ((triple8) -> rule5)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((((triple5) -> rule8) triple7) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((triple4 ((triple15) -> rule5)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((triple4 ((triple8) -> rule5)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple5) -> rule8) triple7) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((((triple11) -> rule8) ((((triple4) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((((triple11) -> rule8) ((((triple9) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple11) -> rule8) ((((triple4) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple11) -> rule8) ((((triple9) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple15) -> rule5) ((((((triple11) -> rule8) ((((((triple5) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple11) -> rule8) ((((((triple11) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple11) -> rule8) ((((((triple5) -> rule8)) -> rule6) triple14) -> rule1)) -> rule3) triple14) -> rule2)) -> rule7))]