Charlie is nice, even when he is rough and red with anger. Dave, who is a young, rough person, is also a kind and cold guy. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Young Gary is wearing green pants. A cold temperatured and green colored person who is also big will be young. If a kind person is also young and round shaped, they will be colored blue. A rough person that is cold towards others is green. Blue people who are kind and nice are actually quite rough. A young person who is red and green is also going to look round. If a person is young and very kind then they will be rather big. Someone who is cold and big is also a red person.
Gary is not big.
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Fred is blue.[(triple9)] Fred is rough.[(triple8)] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Dave is big.[(((triple4 triple6) -> rule6))] Dave is green.[(((triple5 triple7) -> rule3))] @2: Dave is red.[(((((triple4 triple6) -> rule6) triple7) -> rule7))] @3: Dave is round.[(((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5))] @4: Dave is blue.[(((triple6 triple4 ((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5)) -> rule2))]