The bald eagle is red. The bald eagle needs the bear. The bear is red. The bear sees the squirrel. The rabbit is cold. The rabbit needs the squirrel. The squirrel is round. If something is round then it is red. If something is red then it visits the rabbit. If something sees the bald eagle then it is round. If something visits the rabbit then the rabbit is round. If the bald eagle sees the rabbit then the bald eagle visits the rabbit. If something is green then it needs the bear. If something sees the bear and the bear needs the rabbit then the bear is cold. If something sees the bear and it is kind then it needs the bear. All red things are green.
The squirrel is green.
@0: The bald eagle is red.[(triple1)] The bald eagle needs the bear.[(triple2 OR ((((triple1) -> rule9)) -> rule6))] The bear is red.[(triple3)] The bear sees the squirrel.[(triple4)] The rabbit is cold.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel is round.[(triple7)] @1: The bald eagle is green.[(((triple1) -> rule9))] The bald eagle visits the rabbit.[(((triple1) -> rule2))] The bear is green.[(((triple3) -> rule9))] The bear visits the rabbit.[(((triple3) -> rule2))] The squirrel is red.[(((triple7) -> rule1))] @2: The bear needs the bear.[(((((triple3) -> rule9)) -> rule6))] The rabbit is round.[(((((triple1) -> rule2)) -> rule4) OR ((((triple3) -> rule2)) -> rule4) OR ((((((triple7) -> rule1)) -> rule2)) -> rule4))] The squirrel is green.[(((((triple7) -> rule1)) -> rule9))] The squirrel visits the rabbit.[(((((triple7) -> rule1)) -> rule2))] @3: The rabbit is red.[(((((((triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple7) -> rule1)) -> rule2)) -> rule4)) -> rule1))] The squirrel needs the bear.[(((((((triple7) -> rule1)) -> rule9)) -> rule6))] @4: The rabbit is green.[(((((((((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule9) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule1)) -> rule9) OR ((((((((((triple7) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule9))] The rabbit visits the rabbit.[(((((((((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule1)) -> rule2) OR ((((((((((triple7) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))] @5: The rabbit needs the bear.[(((((((((((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule9)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule1)) -> rule9)) -> rule6) OR ((((((((((((triple7) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule9)) -> rule6))]