Bob seems to be round. Green, big and red are qualities which all describe Charlie. Eric is somehow red and kind and also green. Gary has a round shape and is known to be cold and rough around the edges; however, he can also be kind. Nice round big people are kind to others. Young and rough people will most certainly be red. Red people, who are also round and young, are often quite blue as well. A kind person will certainly be young. All the people who have the characteristics of being green, round and cold, tend to be red. People who are round and green while being cold are also red. Green folks who are nice and rough are a round shape.
Gary is not red.
@0: Bob is round.[(triple1)] Charlie is big.[(triple4)] Charlie is green.[(triple3)] Charlie is red.[(triple2)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Eric is young.[(((triple6) -> rule4))] Gary is young.[(((triple10) -> rule4))] @2: Gary is red.[(((((triple10) -> rule4) triple9) -> rule2))] @3: Gary is blue.[(((((((triple10) -> rule4) triple9) -> rule2) triple8 ((triple10) -> rule4)) -> rule3))]