Bob is green and cold too. Charlie is a big fellow, often blue and sad, but he is nice. Gary seems to be round. Harry, a kind young person is always feeling blue. People,though kind and rough are also really nice. Kind, round people that are really feeling blue are going to always be big. All young and kind people that feel blue are described as red. Someone who is currently blue, big, and cold, is also kind. Young and red people look round. If a person is blue and red and big, then that person is cold.
Harry is not round.
@0: Bob is cold.[(triple2)] Bob is green.[(triple1)] Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is nice.[(triple3)] Gary is round.[(triple6)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] Harry is young.[(triple7)] @1: Harry is red.[(((triple9 triple7 triple8) -> rule3))] @2: Harry is round.[(((triple7 ((triple9 triple7 triple8) -> rule3)) -> rule5))] @3: Harry is big.[(((triple8 ((triple7 ((triple9 triple7 triple8) -> rule3)) -> rule5) triple9) -> rule2))] @4: Harry is cold.[(((triple9 ((triple8 ((triple7 ((triple9 triple7 triple8) -> rule3)) -> rule5) triple9) -> rule2) ((triple9 triple7 triple8) -> rule3)) -> rule6))]