The lion chases the squirrel. The lion is big. The lion is green. The lion is red. The lion is young. The lion needs the rabbit. The rabbit is red. The squirrel chases the rabbit. The squirrel is round. The squirrel sees the rabbit. If someone needs the lion then they see the rabbit. If the squirrel chases the lion then the squirrel needs the rabbit. If someone chases the squirrel and the squirrel needs the rabbit then the rabbit chases the squirrel. If someone is green then they need the lion. If someone is red then they need the rabbit. If someone needs the rabbit and the rabbit is red then they are green.
The squirrel is not green.
@0: The lion chases the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is green.[(triple3 OR ((triple6 triple7) -> rule6) OR ((((triple4) -> rule5) triple7) -> rule6))] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion needs the rabbit.[(triple6 OR ((triple4) -> rule5))] The rabbit is red.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel is round.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The lion needs the lion.[(((triple3) -> rule4) OR ((((triple6 triple7) -> rule6)) -> rule4) OR ((((((triple4) -> rule5) triple7) -> rule6)) -> rule4))] The rabbit needs the rabbit.[(((triple7) -> rule5))] @2: The lion sees the rabbit.[(((((triple3) -> rule4)) -> rule1) OR ((((((triple6 triple7) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule5) triple7) -> rule6)) -> rule4)) -> rule1))] The rabbit is green.[(((((triple7) -> rule5) triple7) -> rule6))] @3: The rabbit needs the lion.[(((((((triple7) -> rule5) triple7) -> rule6)) -> rule4))] @4: The rabbit sees the rabbit.[(((((((((triple7) -> rule5) triple7) -> rule6)) -> rule4)) -> rule1))]