Young Alan is kind and blue with green and cold traits that show how really big he is. Fred is a kind person and he is also often cold. Gary seems to be round. If someone you know is big, cold, and young, you know they are also kind. All those who are nice and big are red. Often a young, blue person is very kind and then will be nice to others. A young person with red hands is rough around the edges.
Gary is not rough.
@0: Alan is big.[(triple6)] Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2 OR ((triple6 triple4 triple1) -> rule1))] Alan is young.[(triple1)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Gary is round.[(triple9)] @1: Alan is nice.[(((triple5 triple1 triple2) -> rule3) OR ((triple5 triple1 ((triple6 triple4 triple1) -> rule1)) -> rule3))] @2: Alan is red.[(((((triple5 triple1 triple2) -> rule3) triple6) -> rule2) OR ((((triple5 triple1 ((triple6 triple4 triple1) -> rule1)) -> rule3) triple6) -> rule2))] @3: Alan is rough.[(((((((triple5 triple1 triple2) -> rule3) triple6) -> rule2) triple1) -> rule4) OR ((((((triple5 triple1 ((triple6 triple4 triple1) -> rule1)) -> rule3) triple6) -> rule2) triple1) -> rule4))]