Bob is nice and kind,though he's also rather cold. Charlie seems to be round. Eric may be round, but he is also kind. Gary is a big guy who is colored red from a sunburn. He also has a cold. Kind, round people that are really feeling blue are going to always be big. Round people who are kind tend to be nice. A nice person is inevitably round as well. People who are round and behave in a cold way are surely blue.
Bob is blue.
@0: Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is nice.[(triple1)] Charlie is round.[(triple4)] Eric is kind.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is red.[(triple7)] @1: Bob is round.[(((triple1) -> rule3))] Eric is nice.[(((triple5 triple6) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule3) triple3) -> rule4))] @3: Bob is big.[(((triple2 ((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule4)) -> rule1))]