Bob seems to be round. Dave may be young but he is nice, wears green shoes and is cold. Fred seems to be round. Young Gary has rough, green skin that is always cold.  Gary is known for being a nice guy. If a person is described as being nice, cold and young it usually follow that they are red. When someone is kind yet can be cold and blue, they will also be very big. Even though young people are rough, they are still very red. It's pretty typical of red, rough, and cold people to be round. Most young kind people tend to be red too. Every single blue and red person who acts sort of rough tends to be green in places. People who are round and behave in a cold way are surely blue.
Dave is red.
@0: Bob is round.[(triple1)] Dave is cold.[(triple5)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is young.[(triple2)] Fred is round.[(triple6)] Gary is cold.[(triple11)] Gary is green.[(triple10 OR ((((((((triple8 triple7) -> rule3) triple8 triple11) -> rule4) triple11) -> rule7) ((triple8 triple7) -> rule3) triple8) -> rule6) OR ((((((((triple8 triple7) -> rule3) triple8 triple11) -> rule4) triple11) -> rule7) ((triple9 triple11 triple7) -> rule1) triple8) -> rule6) OR ((((((((triple9 triple11 triple7) -> rule1) triple8 triple11) -> rule4) triple11) -> rule7) ((triple8 triple7) -> rule3) triple8) -> rule6) OR ((((((((triple9 triple11 triple7) -> rule1) triple8 triple11) -> rule4) triple11) -> rule7) ((triple9 triple11 triple7) -> rule1) triple8) -> rule6))] Gary is nice.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple7)] @1: Dave is red.[(((triple3 triple5 triple2) -> rule1))] Gary is red.[(((triple8 triple7) -> rule3) OR ((triple9 triple11 triple7) -> rule1))] @2: Gary is round.[(((((triple8 triple7) -> rule3) triple8 triple11) -> rule4) OR ((((triple9 triple11 triple7) -> rule1) triple8 triple11) -> rule4))] @3: Gary is blue.[(((((((triple8 triple7) -> rule3) triple8 triple11) -> rule4) triple11) -> rule7) OR ((((((triple9 triple11 triple7) -> rule1) triple8 triple11) -> rule4) triple11) -> rule7))]