Young Bob got into a fight that left him with red sores on his face. Charlie is round shaped and green colored. Gary was feeling red with anger after the fight, but he was still a nice but big human being. Harry is big, round, rough and cold, but Harry can also be nice. A round person who is nice and feelin cold is usually rough in apperance. If the person is big and cold then as a rule they must be green. A big blue someone could also be green. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. If a young person knows he is big and round, then he will be blue. Someone who is nice, green, and cold, is always going to be young. Anyone who's blue is also green.
Gary is kind.
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Gary is big.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is rough.[(triple9 OR ((triple8 triple10 triple11) -> rule1))] Harry is round.[(triple8)] @1: Harry is green.[(((triple12 triple11) -> rule2))] @2: Harry is young.[(((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6))] @3: Harry is blue.[(((triple8 triple12 ((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6)) -> rule5))]