The lion is not blue. The lion is nice. The lion is red. The lion likes the rabbit. The lion likes the squirrel. The lion needs the rabbit. The lion sees the rabbit. The lion sees the squirrel. The rabbit is kind. The squirrel is kind. The squirrel is red. The squirrel likes the rabbit. The squirrel needs the lion. The squirrel does not need the rabbit. The squirrel does not see the rabbit. If the lion needs the rabbit then the rabbit needs the lion. If someone sees the lion and the lion is nice then the lion does not like the rabbit. If someone needs the lion then the lion is kind. If the rabbit needs the lion then the rabbit is red. If the lion is kind and the lion is not nice then the lion needs the rabbit. If the squirrel is kind and the rabbit does not need the squirrel then the rabbit sees the squirrel.
The rabbit is not red.
@0: The lion is nice.[(triple2)] The lion is not blue.[(triple1)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple4)] The lion likes the squirrel.[(triple5)] The lion needs the rabbit.[(triple6)] The lion sees the rabbit.[(triple7)] The lion sees the squirrel.[(triple8)] The rabbit is kind.[(triple9)] The squirrel does not need the rabbit.[(triple14)] The squirrel does not see the rabbit.[(triple15)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel likes the rabbit.[(triple12)] The squirrel needs the lion.[(triple13)] @1: The lion is kind.[(((triple13) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] The rabbit needs the lion.[(((triple6) -> rule1))] @2: The rabbit is red.[(((((triple6) -> rule1)) -> rule4))]