The bald eagle is big. The bald eagle is not green. The bald eagle likes the bear. The bald eagle likes the squirrel. The bear chases the lion. The bear is green. The bear visits the bald eagle. The bear visits the squirrel. The lion is not green. The lion likes the bear. The lion visits the squirrel. The squirrel chases the bald eagle. The squirrel is cold. The squirrel visits the bald eagle. If someone is cold then they are not young. All big people are not green. If the lion is big and the lion is green then the lion chases the bald eagle. If someone chases the bald eagle then they like the bear. If someone is round and they visit the bald eagle then the bald eagle likes the squirrel. If someone visits the lion then they like the bald eagle. If the lion visits the squirrel and the squirrel chases the bear then the bear chases the bald eagle. If someone visits the lion then they are cold. If someone likes the bear then they chase the bear.
The bear does not chase the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is not green.[(triple2 OR ((triple1) -> rule2))] The bald eagle likes the bear.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bear chases the lion.[(triple5)] The bear is green.[(triple6)] The bear visits the bald eagle.[(triple7)] The bear visits the squirrel.[(triple8)] The lion is not green.[(triple9)] The lion likes the bear.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is cold.[(triple13)] The squirrel visits the bald eagle.[(triple14)] @1: The bald eagle chases the bear.[(((triple3) -> rule9))] The lion chases the bear.[(((triple10) -> rule9))] The squirrel is not young.[(((triple13) -> rule1))] The squirrel likes the bear.[(((triple12) -> rule4))] @2: The squirrel chases the bear.[(((((triple12) -> rule4)) -> rule9))] @3: The bear chases the bald eagle.[(((triple11 ((((triple12) -> rule4)) -> rule9)) -> rule7))] @4: The bear likes the bear.[(((((triple11 ((((triple12) -> rule4)) -> rule9)) -> rule7)) -> rule4))] @5: The bear chases the bear.[(((((((triple11 ((((triple12) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9))]