The bald eagle is blue. The bald eagle is red. The bald eagle is round. The bald eagle needs the lion. The bear eats the lion. The bear is kind. The bear is round. The bear needs the bald eagle. The bear visits the bald eagle. The bear visits the lion. The lion eats the bear. The lion is kind. The lion is round. The lion visits the bald eagle. The lion visits the bear. If something is kind then it needs the bear. If something eats the bald eagle and the bald eagle is nice then the bald eagle visits the bear. If something is kind then it eats the lion.
The lion is round.
@0: The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the lion.[(triple4)] The bear eats the lion.[(triple5 OR ((triple6) -> rule3))] The bear is kind.[(triple6)] The bear is round.[(triple7)] The bear needs the bald eagle.[(triple8)] The bear visits the bald eagle.[(triple9)] The bear visits the lion.[(triple10)] The lion eats the bear.[(triple11)] The lion is kind.[(triple12)] The lion is round.[(triple13)] The lion visits the bald eagle.[(triple14)] The lion visits the bear.[(triple15)] @1: The bear needs the bear.[(((triple6) -> rule1))] The lion eats the lion.[(((triple12) -> rule3))] The lion needs the bear.[(((triple12) -> rule1))]