Young Bob is quite nice, and because he is so round can be considered quite big. Charlie is a person both green and big. Eric gets red when he is mad and tends to act very cold. Harry was born only a few years ago so he is young. It's a fact that young people are red people. A blue colored, nice but rough person is definitely young too. If someone is colored red but is cold, they tend to show a lot of green. A person who exhibits nice, kind and cold characteristics will also be a rough person. Whenever somebody can be described as rough, round and cold, they can also be described as young. Red and round people will be cold even in the summer. Blue, kind, and cold people are habitually rough.
Charlie is not rough.
@0: Bob is big.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Harry is young.[(triple9)] @1: Bob is red.[(((triple1) -> rule1))] Eric is green.[(((triple7 triple8) -> rule3))] Harry is red.[(((triple9) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule1) triple2) -> rule6))] @3: Bob is green.[(((((triple1) -> rule1) ((((triple1) -> rule1) triple2) -> rule6)) -> rule3))]