Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Red Fred is what folks call him, because he is quite red. Harry is a big person who is kind to all.  He is red and blue. Being round and nice automatically means a person is kind. Big people who are red in color are often nice. If a rather cold person is also kind then they are probably rough. If a person is red, kind, and nice then they must be round. It's always true that round, kind people are rough as well.
Harry is not nice.
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Fred is red.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Bob is kind.[(((triple1 triple2) -> rule1))] Harry is nice.[(((triple11 triple8) -> rule2))] @2: Bob is rough.[(((triple1 ((triple1 triple2) -> rule1)) -> rule5))] Harry is round.[(((((triple11 triple8) -> rule2) triple8 triple9) -> rule4))] @3: Harry is rough.[(((((((triple11 triple8) -> rule2) triple8 triple9) -> rule4) triple9) -> rule5))]