The bald eagle chases the tiger. The lion eats the bald eagle. The squirrel eats the lion. The tiger is kind. If the bald eagle eats the squirrel and the squirrel is kind then the squirrel sees the tiger. If someone is kind then they see the squirrel. If someone eats the squirrel and they eat the tiger then they see the bald eagle. If the lion sees the squirrel and the lion is big then the squirrel eats the lion. If someone sees the bald eagle and they are kind then the bald eagle sees the squirrel. Blue people are kind. If someone eats the bald eagle then the bald eagle is blue. If someone eats the tiger and they eat the bald eagle then they are blue.
The tiger does not see the squirrel.
@0: The bald eagle chases the tiger.[(triple1)] The lion eats the bald eagle.[(triple2)] The squirrel eats the lion.[(triple3)] The tiger is kind.[(triple4)] @1: The bald eagle is blue.[(((triple2) -> rule7))] The tiger sees the squirrel.[(((triple4) -> rule2))] @2: The bald eagle is kind.[(((((triple2) -> rule7)) -> rule6))] @3: The bald eagle sees the squirrel.[(((((((triple2) -> rule7)) -> rule6)) -> rule2))]