Dave who is round and rough is also said to be nice and kind and is feeling green and blue. Eric is round shaped and green colored. Harry is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Red, big people can't help but be round as well. A person who is green and rough and round is also young. Big, rough people sometimes are also green and when they are they must be cold. Rough young folks are surprisingly kind. If a person is young and very kind then they will be rather big. A round person will also be red. A green colored and rough person will be quite kind.
Eric is red.
@0: Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4 OR ((triple5 triple2) -> rule7) OR ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4))] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is green.[(triple8)] Eric is round.[(triple7)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Dave is red.[(((triple1) -> rule6))] Dave is young.[(((triple1 triple2 triple5) -> rule2))] Eric is red.[(((triple7) -> rule6))] @2: Dave is big.[(((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5))] @3: Dave is cold.[(((triple2 ((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5) triple5) -> rule3))]