The bald eagle is not rough. The bald eagle visits the tiger. The bear visits the bald eagle. The lion is round. The lion likes the bear. The lion visits the bald eagle. The lion visits the tiger. The tiger chases the bear. The tiger chases the lion. The tiger is green. If something is blue then it chases the bald eagle. If something visits the bald eagle then the bald eagle is blue. If something chases the bald eagle then the bald eagle does not visit the bear. If something visits the bear then it is blue. If something is round and it visits the bear then it likes the bald eagle. If something is blue and it does not chase the lion then it chases the tiger. If something visits the tiger and it likes the bald eagle then it does not like the lion. If something is blue and it does not like the bald eagle then it is young.
The bear does not like the tiger.
@0: The bald eagle is not rough.[(triple1)] The bald eagle visits the tiger.[(triple2)] The bear visits the bald eagle.[(triple3)] The lion is round.[(triple4)] The lion likes the bear.[(triple5)] The lion visits the bald eagle.[(triple6)] The lion visits the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the lion.[(triple9)] The tiger is green.[(triple10)] @1: The bald eagle is blue.[(((triple3) -> rule2) OR ((triple6) -> rule2))] @2: The bald eagle chases the bald eagle.[(((((triple3) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] @3: The bald eagle does not visit the bear.[(((((((triple3) -> rule2)) -> rule1)) -> rule3) OR ((((((triple6) -> rule2)) -> rule1)) -> rule3))]