From a certain angle Bob is blue but he is young so maybe that will go away. Charlie has green teeth and rough skin. People also notice his blue eyes. Gary wears all blue. Young Harry got into a fight that left him with red sores on his face. Nice blue people are often rough. People who are blue, cold, and round are often kind. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A green person is going to be rough. Being green and rough are signs that someone is big. A person that is round, green, and blue is usually considered cold. Anyone who's blue is also green.
Gary is green.
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4 OR ((triple5) -> rule7))] Charlie is rough.[(triple3 OR ((triple4) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] Gary is blue.[(triple6)] Harry is red.[(triple8)] Harry is young.[(triple7)] @1: Bob is green.[(((triple2) -> rule7))] Charlie is big.[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule4)) -> rule5) OR ((((triple5) -> rule7) triple3) -> rule5) OR ((((triple5) -> rule7) ((triple4) -> rule4)) -> rule5) OR ((triple4 ((((triple5) -> rule7)) -> rule4)) -> rule5) OR ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule4)) -> rule5))] Gary is green.[(((triple6) -> rule7))] @2: Bob is rough.[(((((triple2) -> rule7)) -> rule4))] Gary is rough.[(((((triple6) -> rule7)) -> rule4))] @3: Bob is big.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5))] Gary is big.[(((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule4)) -> rule5))]