Dave is someone you could describe as young, round, cold, and blue. Eric always goes out of his way to show that he is kind to people. Big Fred is cold but kind and always green. Gary looks red to most people, with blue features. A big person who also feels blue and a bit green are usually wearing red. People who are blue, cold, and round are often kind. A green, round, blue male or female will be a big male or female, too. Show me someone who is cold and kind, and I'll show you how green they are. A blue and red colored person that is young is also very cold. If a rather cold person is also kind then they are probably rough.
Dave is rough.
@0: Dave is blue.[(triple4)] Dave is cold.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is kind.[(triple5)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7 OR ((triple8 triple6) -> rule4))] Fred is kind.[(triple6)] Gary is blue.[(triple11)] Gary is red.[(triple10)] @1: Dave is kind.[(((triple4 triple3 triple2) -> rule2))] Fred is rough.[(((triple8 triple6) -> rule6))] @2: Dave is green.[(((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4))] Dave is rough.[(((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule6))] @3: Dave is big.[(((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3))] @4: Dave is red.[(((((((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4) triple2 triple4) -> rule3) triple4 ((triple3 ((triple4 triple3 triple2) -> rule2)) -> rule4)) -> rule1))]