The bald eagle is cold. The rabbit is kind. The squirrel needs the rabbit. The tiger needs the squirrel. If the bald eagle is green then the bald eagle eats the tiger. If someone is big then they need the tiger. If someone needs the tiger then they need the squirrel. If someone is blue and they chase the rabbit then the rabbit needs the squirrel. If someone needs the squirrel then they chase the rabbit. If someone eats the bald eagle then the bald eagle eats the tiger. If someone is green and they chase the squirrel then they are kind. Cold people are big.
The bald eagle is not kind.
@0: The bald eagle is cold.[(triple1)] The rabbit is kind.[(triple2)] The squirrel needs the rabbit.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The bald eagle is big.[(((triple1) -> rule8))] The tiger chases the rabbit.[(((triple4) -> rule5))] @2: The bald eagle needs the tiger.[(((((triple1) -> rule8)) -> rule2))] @3: The bald eagle needs the squirrel.[(((((((triple1) -> rule8)) -> rule2)) -> rule3))] @4: The bald eagle chases the rabbit.[(((((((((triple1) -> rule8)) -> rule2)) -> rule3)) -> rule5))]