Dave looks red to most people, with blue features. Young Eric is wearing green pants. Even though he's a big dude, Fred is cold. Gary is a very kind, green but sometimes cold person. Whoever is rough and red must be kind. A nice person who is green is feeling cold. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. It's easy to be round and blue when you are young. Young people tend to be blue all the time and rough. Someone blue and red is definitely round and dressed as a clown. A person that is the color red will definitely be round shaped.
Gary is not young.
@0: Dave is blue.[(triple2)] Dave is red.[(triple1)] Eric is green.[(triple4)] Eric is young.[(triple3)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] @1: Dave is round.[(((triple1) -> rule7) OR ((triple2 triple1) -> rule6))] @2: Dave is young.[(((((triple1) -> rule7) triple2) -> rule4) OR ((((triple2 triple1) -> rule6) triple2) -> rule4))] @3: Dave is rough.[(((triple2 ((((triple1) -> rule7) triple2) -> rule4)) -> rule5) OR ((triple2 ((((triple2 triple1) -> rule6) triple2) -> rule4)) -> rule5))] @4: Dave is kind.[(((((triple2 ((((triple1) -> rule7) triple2) -> rule4)) -> rule5) triple1) -> rule1) OR ((((triple2 ((((triple2 triple1) -> rule6) triple2) -> rule4)) -> rule5) triple1) -> rule1))]