The bald eagle is kind. The bald eagle sees the lion. The bald eagle does not see the squirrel. The bald eagle does not visit the squirrel. The bald eagle visits the tiger. The lion is not kind. The lion is round. The lion does not see the bald eagle. The lion visits the tiger. The squirrel is big. The squirrel is green. The squirrel is kind. The tiger is big. The tiger does not like the lion. The tiger visits the lion. If the squirrel is red then the squirrel likes the lion. If the squirrel is red and the squirrel is not big then the squirrel is kind. If something likes the bald eagle then the bald eagle does not see the tiger. If something is kind then it is red. If something sees the squirrel then the squirrel does not see the lion. If something is round then it visits the squirrel. If something likes the bald eagle then the bald eagle does not visit the squirrel. If something is big and kind then it is round.
The tiger sees the tiger.
@0: The bald eagle does not see the squirrel.[(triple3)] The bald eagle does not visit the squirrel.[(triple4)] The bald eagle is kind.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle visits the tiger.[(triple5)] The lion does not see the bald eagle.[(triple8)] The lion is not kind.[(triple6)] The lion is round.[(triple7)] The lion visits the tiger.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The tiger does not like the lion.[(triple14)] The tiger is big.[(triple13)] The tiger visits the lion.[(triple15)] @1: The bald eagle is red.[(((triple1) -> rule4))] The lion visits the squirrel.[(((triple7) -> rule6))] The squirrel is red.[(((triple12) -> rule4))] The squirrel is round.[(((triple10 triple12) -> rule8))] @2: The squirrel likes the lion.[(((((triple12) -> rule4)) -> rule1))] The squirrel visits the squirrel.[(((((triple10 triple12) -> rule8)) -> rule6))]