The bald eagle eats the bear. The bald eagle is kind. The bald eagle likes the squirrel. The bald eagle sees the bear. The bear is kind. The squirrel eats the bear. The squirrel eats the tiger. The squirrel is red. The squirrel likes the bald eagle. The squirrel likes the bear. The squirrel sees the bear. The tiger eats the bald eagle. The tiger eats the squirrel. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone eats the bear then they see the tiger. If someone eats the tiger then they eat the bald eagle. If someone sees the bald eagle then they eat the bald eagle. If someone sees the tiger then they are big. If someone sees the tiger then the tiger sees the squirrel. If the squirrel sees the bear and the bear likes the squirrel then the squirrel sees the bald eagle. If someone is red then they like the tiger. If someone likes the tiger and they eat the bear then the tiger eats the bear.
The tiger does not see the tiger.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear is kind.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is red.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel sees the bear.[(triple11)] The tiger eats the bald eagle.[(triple12 OR ((triple15) -> rule3))] The tiger eats the squirrel.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle sees the tiger.[(((triple1) -> rule1))] The squirrel eats the bald eagle.[(((triple7) -> rule2))] The squirrel likes the tiger.[(((triple8) -> rule7))] The squirrel sees the tiger.[(((triple6) -> rule1))] @2: The bald eagle is big.[(((((triple1) -> rule1)) -> rule4))] The squirrel is big.[(((((triple6) -> rule1)) -> rule4))] The tiger eats the bear.[(((((triple8) -> rule7) triple6) -> rule8))] The tiger sees the squirrel.[(((((triple1) -> rule1)) -> rule5) OR ((((triple6) -> rule1)) -> rule5) OR ((((((((triple8) -> rule7) triple6) -> rule8)) -> rule1)) -> rule5))] @3: The tiger sees the tiger.[(((((((triple8) -> rule7) triple6) -> rule8)) -> rule1))] @4: The tiger is big.[(((((((((triple8) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4))]