The bear is round. The bear likes the rabbit. The bear needs the tiger. The rabbit is cold. The rabbit is red. The squirrel is cold. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger is green. The tiger likes the rabbit. If someone sees the rabbit and they like the bear then they like the squirrel. If someone needs the tiger and the tiger needs the squirrel then they are round. If someone needs the squirrel and they are cold then the squirrel is round. Young people are cold. Red people are round. If someone likes the bear and they see the squirrel then they need the bear. If someone needs the squirrel and the squirrel likes the bear then the bear sees the tiger. If someone is cold then they need the squirrel. If someone is round and they like the tiger then the tiger is young.
The bear is not green.
@0: The bear is round.[(triple1 OR ((triple3 ((((((((((triple4) -> rule8) triple4) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8)) -> rule2) OR ((triple3 ((((((((((triple6) -> rule8) triple6) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8)) -> rule2) OR ((triple3 ((((((((((triple6) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8)) -> rule2) OR ((triple3 ((((((((((((triple7) -> rule4)) -> rule8) triple6) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8)) -> rule2) OR ((triple3 ((((((((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8)) -> rule2))] The bear likes the rabbit.[(triple2)] The bear needs the tiger.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is red.[(triple5)] The squirrel is cold.[(triple6 OR ((triple7) -> rule4))] The squirrel is young.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is green.[(triple10)] The tiger likes the rabbit.[(triple11)] @1: The rabbit is round.[(((triple5) -> rule5))] The rabbit needs the squirrel.[(((triple4) -> rule8))] The squirrel needs the squirrel.[(((triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule8))] @2: The squirrel is round.[(((((triple4) -> rule8) triple4) -> rule3) OR ((((triple6) -> rule8) triple6) -> rule3) OR ((((triple6) -> rule8) ((triple7) -> rule4)) -> rule3) OR ((((((triple7) -> rule4)) -> rule8) triple6) -> rule3) OR ((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule3))] @3: The tiger is young.[(((((((triple4) -> rule8) triple4) -> rule3) triple8) -> rule9) OR ((((((triple6) -> rule8) triple6) -> rule3) triple8) -> rule9) OR ((((((triple6) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9) OR ((((((((triple7) -> rule4)) -> rule8) triple6) -> rule3) triple8) -> rule9) OR ((((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9))] @4: The tiger is cold.[(((((((((triple4) -> rule8) triple4) -> rule3) triple8) -> rule9)) -> rule4) OR ((((((((triple6) -> rule8) triple6) -> rule3) triple8) -> rule9)) -> rule4) OR ((((((((triple6) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9)) -> rule4) OR ((((((((((triple7) -> rule4)) -> rule8) triple6) -> rule3) triple8) -> rule9)) -> rule4) OR ((((((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9)) -> rule4))] @5: The tiger needs the squirrel.[(((((((((((triple4) -> rule8) triple4) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8) OR ((((((((((triple6) -> rule8) triple6) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8) OR ((((((((((triple6) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8) OR ((((((((((((triple7) -> rule4)) -> rule8) triple6) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8) OR ((((((((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule3) triple8) -> rule9)) -> rule4)) -> rule8))]