When you see Alan, you will notice he is cold, big and kind. Charlie is nice, even when he is rough and red with anger. Dave is young but big for his age and he's cold and red at the moment too. Fred wears all blue. When a young person has a round shape and feels blue, they will be green as well. A kind and big person is young. It's inevitable that young, green people are big. Interestingly, cold and rough people are kind. If a rather cold person is also kind then they are probably rough. Young people that are big in size, tend to be more on the blue side. People that are blue, cold, and big, are rather rough.
Dave is not rough.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Dave is red.[(triple8)] Dave is young.[(triple7)] Fred is blue.[(triple11)] @1: Alan is rough.[(((triple2 triple1) -> rule5) OR ((((triple3 ((triple3 triple1) -> rule2)) -> rule6) triple2 triple3) -> rule7))] Alan is young.[(((triple3 triple1) -> rule2))] Dave is blue.[(((triple10 triple7) -> rule6))] @2: Alan is blue.[(((triple3 ((triple3 triple1) -> rule2)) -> rule6))] Dave is rough.[(((((triple10 triple7) -> rule6) triple9 triple10) -> rule7))] @3: Dave is kind.[(((triple9 ((((triple10 triple7) -> rule6) triple9 triple10) -> rule7)) -> rule4))]