The bald eagle needs the lion. The bald eagle visits the lion. The lion is not cold. The lion does not like the tiger. The lion visits the tiger. The squirrel is kind. The squirrel is young. The squirrel likes the tiger. The squirrel does not need the lion. The squirrel visits the bald eagle. The tiger is cold. The tiger visits the bald eagle. If something visits the bald eagle then it is big. If something is big then it needs the squirrel. If something visits the squirrel and it visits the lion then it needs the squirrel. If something needs the squirrel then it is green. If something is young then it needs the tiger. Green things are young. If something is big and it visits the lion then the lion needs the squirrel. If the squirrel is big and the squirrel does not like the tiger then the tiger is not big.
The tiger likes the squirrel.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle visits the lion.[(triple2)] The lion does not like the tiger.[(triple4)] The lion is not cold.[(triple3)] The lion visits the tiger.[(triple5)] The squirrel does not need the lion.[(triple9)] The squirrel is kind.[(triple6)] The squirrel is young.[(triple7 OR ((((((((triple10) -> rule1)) -> rule2)) -> rule4)) -> rule6))] The squirrel likes the tiger.[(triple8)] The squirrel visits the bald eagle.[(triple10)] The tiger is cold.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The squirrel is big.[(((triple10) -> rule1))] The squirrel needs the tiger.[(((triple7) -> rule5) OR ((((((((((triple10) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule5))] The tiger is big.[(((triple12) -> rule1))] @2: The squirrel needs the squirrel.[(((((triple10) -> rule1)) -> rule2))] The tiger needs the squirrel.[(((((triple12) -> rule1)) -> rule2))] @3: The squirrel is green.[(((((((triple10) -> rule1)) -> rule2)) -> rule4))] The tiger is green.[(((((((triple12) -> rule1)) -> rule2)) -> rule4))] @4: The tiger is young.[(((((((((triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6))] @5: The tiger needs the tiger.[(((((((((((triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule5))]