Eric is so big and round, it's hard to tell he is red, green and blue all at once. For someone so young, big and red, Gary is surprisingly nice, although sometimes cold. A round person who is nice and feelin cold is usually rough in apperance. Young and rough people tend to be green too. People with blue and red skin color are also green. Big people are also round people.
Gary is rough.
@0: Eric is big.[(triple5)] Eric is blue.[(triple4)] Eric is green.[(triple3 OR ((triple4 triple2) -> rule3))] Eric is red.[(triple2)] Eric is round.[(triple1 OR ((triple5) -> rule4))] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Gary is young.[(triple6)] @1: Gary is round.[(((triple10) -> rule4))] @2: Gary is rough.[(((((triple10) -> rule4) triple8 triple9) -> rule1))] @3: Gary is green.[(((triple6 ((((triple10) -> rule4) triple8 triple9) -> rule1)) -> rule2))]