Dave may be round, but he is also kind. Eric is young and green. He is round with rosy red skin which makes him blue. Gary seems to be round. Harry is green, but often kind, even when he is blue and cold. A person who is cold and blue is nice. A nice young person who is big can be considered round. Someone who has young, nice and cold qualities will possess a red quality, too. Jan is nice and rough, she can be blue in the winter which makes her cold. If you ever meet someone who is both green and blue while being nice, then they'll be big, too. If someone is cold and blue, you will find that they are also quite young. Nice people who feel blue often look green when ill.
Harry is not rough.
@0: Dave is kind.[(triple2)] Dave is round.[(triple1)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is round.[(triple8)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10 OR ((((triple11 triple12) -> rule1) triple12) -> rule7))] Harry is kind.[(triple9)] @1: Harry is nice.[(((triple11 triple12) -> rule1))] Harry is young.[(((triple12 triple11) -> rule6))] @2: Harry is big.[(((triple10 triple12 ((triple11 triple12) -> rule1)) -> rule5) OR ((((((triple11 triple12) -> rule1) triple12) -> rule7) triple12 ((triple11 triple12) -> rule1)) -> rule5))] Harry is red.[(((triple11 ((triple12 triple11) -> rule6) ((triple11 triple12) -> rule1)) -> rule3))] @3: Harry is round.[(((((triple11 triple12) -> rule1) ((triple10 triple12 ((triple11 triple12) -> rule1)) -> rule5) ((triple12 triple11) -> rule6)) -> rule2) OR ((((triple11 triple12) -> rule1) ((((((triple11 triple12) -> rule1) triple12) -> rule7) triple12 ((triple11 triple12) -> rule1)) -> rule5) ((triple12 triple11) -> rule6)) -> rule2))]