The bald eagle eats the rabbit. The bald eagle is big. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The lion eats the rabbit. The lion eats the squirrel. The lion is big. The lion is round. The lion sees the bald eagle. The rabbit chases the squirrel. The rabbit is red. The rabbit sees the bald eagle. The rabbit sees the lion. The squirrel chases the bald eagle. The squirrel chases the rabbit. The squirrel sees the bald eagle. If someone chases the squirrel then the squirrel is red. If someone sees the lion and they eat the squirrel then the lion is blue. If someone chases the lion and they eat the lion then the lion sees the bald eagle. If someone is red then they eat the rabbit. If someone eats the rabbit then the rabbit is kind. If someone eats the bald eagle and the bald eagle eats the squirrel then the bald eagle sees the lion.
The bald eagle is not kind.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The lion eats the rabbit.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is big.[(triple7)] The lion is round.[(triple8)] The lion sees the bald eagle.[(triple9)] The rabbit chases the squirrel.[(triple10)] The rabbit is red.[(triple11)] The rabbit sees the bald eagle.[(triple12)] The rabbit sees the lion.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel chases the rabbit.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The rabbit eats the rabbit.[(((triple11) -> rule4))] The rabbit is kind.[(((triple1) -> rule5) OR ((triple5) -> rule5) OR ((((triple11) -> rule4)) -> rule5) OR ((((((triple10) -> rule1)) -> rule4)) -> rule5))] The squirrel is red.[(((triple10) -> rule1))] @2: The squirrel eats the rabbit.[(((((triple10) -> rule1)) -> rule4))]