You could say that Bob is red and kind and it would also be true that he is cold and big. Charlie has a round face and is very nice. Dave is nice and kind despite the appearance of his cold, red skin. Harry, like all young people, is nice. This person is nice and young, also round, which makes them cold. A kind red person is also a blue person. People who are cold even when they're nice and round, they are young. Anybody that is blue, red and cold will also be round, for sure.
Charlie is blue.
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Dave is cold.[(triple10)] Dave is kind.[(triple9)] Dave is nice.[(triple8)] Dave is red.[(triple7)] Harry is nice.[(triple12)] Harry is young.[(triple11)] @1: Bob is blue.[(((triple2 triple1) -> rule2))] Dave is blue.[(((triple9 triple7) -> rule2))] @2: Bob is round.[(((((triple2 triple1) -> rule2) triple3 triple1) -> rule4))] Dave is round.[(((((triple9 triple7) -> rule2) triple10 triple7) -> rule4))] @3: Dave is young.[(((triple8 ((((triple9 triple7) -> rule2) triple10 triple7) -> rule4) triple10) -> rule3))]