The bald eagle eats the bear. The bald eagle is red. The bald eagle likes the bear. The bear eats the squirrel. The bear is big. The bear is young. The bear likes the squirrel. The bear visits the lion. The lion is red. The lion visits the bear. The squirrel eats the bear. The squirrel visits the bear. If something likes the lion then it eats the lion. If something visits the lion then the lion is rough. All young things are big. If something visits the squirrel then it visits the bald eagle. If something visits the bald eagle then it is big. If something is rough then it visits the bald eagle. If something is red and it visits the lion then the lion visits the squirrel. If something eats the squirrel then the squirrel visits the bear.
The bear does not like the lion.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is big.[(triple5 OR ((triple6) -> rule3))] The bear is young.[(triple6)] The bear likes the squirrel.[(triple7)] The bear visits the lion.[(triple8)] The lion is red.[(triple9)] The lion visits the bear.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel visits the bear.[(triple12 OR ((triple4) -> rule8))] @1: The lion is rough.[(((triple8) -> rule2))] @2: The lion visits the bald eagle.[(((((triple8) -> rule2)) -> rule6))] @3: The lion is big.[(((((((triple8) -> rule2)) -> rule6)) -> rule5))]