The bald eagle chases the squirrel. The bald eagle does not eat the lion. The bald eagle eats the squirrel. The bald eagle does not see the rabbit. The lion does not chase the rabbit. The lion is kind. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is big. The rabbit is cold. The rabbit sees the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is kind. If something chases the rabbit then it is kind. If something sees the lion then it chases the rabbit. If the rabbit sees the squirrel and the squirrel eats the rabbit then the rabbit is green. If something eats the lion then the lion chases the squirrel. If something eats the rabbit then the rabbit sees the lion. If something is kind then it eats the rabbit. If something sees the lion and it does not eat the lion then it eats the bald eagle. If something eats the squirrel and the squirrel eats the bald eagle then the squirrel is cold.
The rabbit does not see the lion.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not eat the lion.[(triple2)] The bald eagle does not see the rabbit.[(triple4)] The bald eagle eats the squirrel.[(triple3)] The lion does not chase the rabbit.[(triple5)] The lion is kind.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is big.[(triple9)] The rabbit is cold.[(triple10)] The rabbit sees the squirrel.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is kind.[(triple14)] @1: The lion eats the rabbit.[(((triple6) -> rule6))] The squirrel eats the rabbit.[(((triple14) -> rule6))] @2: The rabbit is green.[(((triple11 ((triple14) -> rule6)) -> rule3))] The rabbit sees the lion.[(((((triple14) -> rule6)) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] @3: The rabbit chases the rabbit.[(((((((triple14) -> rule6)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5)) -> rule2))] @4: The rabbit is kind.[(((((((((triple14) -> rule6)) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule5)) -> rule2)) -> rule1))] @5: The rabbit eats the rabbit.[(((((((((((triple14) -> rule6)) -> rule5)) -> rule2)) -> rule1)) -> rule6) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule2)) -> rule1)) -> rule6))]