Alan has green teeth and rough skin. People also notice his blue eyes. Eric is blue and cold. Gary has green teeth and rough skin. People also notice his blue eyes. That Harry is as round and red as a cherry, and twice as kind. If the description of nice and green applies to somebody, the description of young will, too. Young people who rough around in the cold are known to be very red. Someone with rough, big traits will be a green person, as well. Rough and green people are also nice. A blue person who is young and rough is also red. Anyone who's blue is also green.
Gary is not red.
@0: Alan is blue.[(triple3)] Alan is green.[(triple2 OR ((triple3) -> rule6))] Alan is rough.[(triple1)] Eric is blue.[(triple5)] Eric is cold.[(triple4)] Gary is blue.[(triple8)] Gary is green.[(triple7 OR ((triple8) -> rule6))] Gary is rough.[(triple6)] Harry is kind.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Alan is nice.[(((triple1 triple2) -> rule4) OR ((triple1 ((triple3) -> rule6)) -> rule4))] Eric is green.[(((triple5) -> rule6))] Gary is nice.[(((triple6 triple7) -> rule4) OR ((triple6 ((triple8) -> rule6)) -> rule4))] @2: Alan is young.[(((triple2 ((triple1 triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule6) ((triple1 triple2) -> rule4)) -> rule1) OR ((triple2 ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule1) OR ((((triple3) -> rule6) ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule1))] Gary is young.[(((triple7 ((triple6 triple7) -> rule4)) -> rule1) OR ((((triple8) -> rule6) ((triple6 triple7) -> rule4)) -> rule1) OR ((triple7 ((triple6 ((triple8) -> rule6)) -> rule4)) -> rule1) OR ((((triple8) -> rule6) ((triple6 ((triple8) -> rule6)) -> rule4)) -> rule1))] @3: Alan is red.[(((triple3 ((triple2 ((triple1 triple2) -> rule4)) -> rule1) triple1) -> rule5) OR ((triple3 ((((triple3) -> rule6) ((triple1 triple2) -> rule4)) -> rule1) triple1) -> rule5) OR ((triple3 ((triple2 ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule1) triple1) -> rule5) OR ((triple3 ((((triple3) -> rule6) ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule1) triple1) -> rule5))] Gary is red.[(((triple8 ((triple7 ((triple6 triple7) -> rule4)) -> rule1) triple6) -> rule5) OR ((triple8 ((((triple8) -> rule6) ((triple6 triple7) -> rule4)) -> rule1) triple6) -> rule5) OR ((triple8 ((triple7 ((triple6 ((triple8) -> rule6)) -> rule4)) -> rule1) triple6) -> rule5) OR ((triple8 ((((triple8) -> rule6) ((triple6 ((triple8) -> rule6)) -> rule4)) -> rule1) triple6) -> rule5))]