Charlie is big and tends to wear red shirts. Fred ate some rotten meat and now feels green. Gary is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue. Harry is a person both green and big. A cold person who is round but rough around the edges is big. Green, nice people who have round shapes are going to be kind to you. A green person who is kind and a bit blue is young. A nice and blue person who's also red will be a rough person. Young people tend to be blue all the time and rough. Young, kind people with a round body shape can be cold to strangers. Kind young people are also red and green.
Gary is kind.
@0: Charlie is big.[(triple2)] Charlie is red.[(triple1)] Fred is green.[(triple3)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6 OR ((triple9 triple4) -> rule5) OR ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5))] Gary is round.[(triple5)] Gary is young.[(triple4 OR ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3))] Harry is big.[(triple11)] Harry is green.[(triple10)] @1: Gary is kind.[(((triple8 triple5 triple7) -> rule2))] @2: Gary is cold.[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))] @3: Gary is big.[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]