The bald eagle is cold. The bald eagle is rough. The bald eagle needs the tiger. The bald eagle visits the squirrel. The lion is cold. The lion is kind. The lion needs the tiger. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel visits the tiger. The tiger is red. If someone needs the squirrel then they chase the tiger. If someone is rough and they chase the squirrel then the squirrel visits the lion. If someone visits the tiger and they visit the lion then the lion needs the bald eagle. If someone visits the bald eagle and the bald eagle visits the squirrel then the bald eagle chases the squirrel. If someone is red then they chase the lion. If someone chases the lion and they visit the bald eagle then they need the bald eagle. If someone visits the bald eagle then they need the bald eagle. If someone chases the lion then they visit the bald eagle. If someone chases the tiger then the tiger chases the bald eagle.
The tiger does not visit the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion needs the tiger.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger is red.[(triple11)] @1: The tiger chases the bald eagle.[(((triple9) -> rule9))] The tiger chases the lion.[(((triple11) -> rule5))] @2: The tiger visits the bald eagle.[(((((triple11) -> rule5)) -> rule8))] @3: The bald eagle chases the squirrel.[(((((((triple11) -> rule5)) -> rule8) triple4) -> rule4))] The tiger needs the bald eagle.[(((((((triple11) -> rule5)) -> rule8)) -> rule7) OR ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule6))] @4: The squirrel visits the lion.[(((triple2 ((((((triple11) -> rule5)) -> rule8) triple4) -> rule4)) -> rule2))] @5: The lion needs the bald eagle.[(((triple10 ((triple2 ((((((triple11) -> rule5)) -> rule8) triple4) -> rule4)) -> rule2)) -> rule3))]