Dave is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Fred is round shaped and green colored. Gary is nice and young with red hair and a blue shirt. You will notice that a rough, nice, red individual will be young. Someone who is blue and cold is also big. A big, green person who is cold is assumed to be red also. A cold temperatured and rough person who is also green will be big shaped.
Dave is not big.
@0: Dave is cold.[(triple4)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is rough.[(triple1)] Fred is green.[(triple6)] Fred is round.[(triple5)] Gary is blue.[(triple10)] Gary is nice.[(triple9)] Gary is red.[(triple8)] Gary is young.[(triple7)] @1: Dave is big.[(((triple4 triple1 triple3) -> rule4))] @2: Dave is red.[(((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3))] @3: Dave is young.[(((triple1 ((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3) triple2) -> rule1))]