Alan, a kind young person is always feeling blue. Dave is red, but he has turned blue as he is cold.  He is nice but can be rough. Even though Fred is round and big, he is very kind. Gary seems to be round. Red people are almost always rough. A blue colored person who is nice is a red person. If you come across a young, blue person you can count on them being nice to you. People who are said to be big and nice are round. People who are young are also blue. A person who inherits genes that make them big and green will also express a blue color.
Alan is nice.
@0: Alan is blue.[(triple3 OR ((triple1) -> rule5))] Alan is kind.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5 OR ((triple6 triple8) -> rule2))] Dave is rough.[(triple4 OR ((triple5) -> rule1) OR ((((triple6 triple8) -> rule2)) -> rule1))] Fred is big.[(triple11)] Fred is kind.[(triple10)] Fred is round.[(triple9)] Gary is round.[(triple12)] @1: Alan is nice.[(((triple3 triple1) -> rule3) OR ((((triple1) -> rule5) triple1) -> rule3))] @2: Alan is red.[(((((triple3 triple1) -> rule3) triple3) -> rule2) OR ((((triple3 triple1) -> rule3) ((triple1) -> rule5)) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule3) ((triple1) -> rule5)) -> rule2))] @3: Alan is rough.[(((((((triple3 triple1) -> rule3) triple3) -> rule2)) -> rule1) OR ((((((triple3 triple1) -> rule3) ((triple1) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule2)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((triple1) -> rule5)) -> rule2)) -> rule1))]