The bald eagle needs the lion. The bald eagle needs the mouse. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The lion needs the bald eagle. The lion sees the squirrel. The mouse needs the squirrel. The squirrel is cold. The squirrel needs the lion. The squirrel sees the lion. If someone needs the bald eagle then they like the mouse. If someone is kind and rough then they see the mouse. If someone likes the mouse then the mouse is cold. If someone is cold then they need the squirrel. If someone likes the mouse then the mouse sees the squirrel. If the bald eagle needs the lion then the lion likes the mouse.
The lion is green.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The lion needs the bald eagle.[(triple5)] The lion sees the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7 OR ((((((triple1) -> rule6)) -> rule3)) -> rule4) OR ((((((triple5) -> rule1)) -> rule3)) -> rule4))] The squirrel is cold.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel sees the lion.[(triple10)] @1: The lion likes the mouse.[(((triple1) -> rule6) OR ((triple5) -> rule1))] The squirrel needs the squirrel.[(((triple8) -> rule4))] @2: The mouse is cold.[(((((triple1) -> rule6)) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The mouse sees the squirrel.[(((((triple1) -> rule6)) -> rule5) OR ((((triple5) -> rule1)) -> rule5))]