Bob always goes out of his way to show that he is kind to people. Charlie is a rough but very kind and blue person. Dave who is considered nice was feeling rather rough today. Gary always goes out of his way to show that he is kind to people. Blue Christmas ornaments are also red. People who are green and blue tend to be round in shape. If someone is blue, young, and rough, they qualify as being round. Rough people will often be blue.  They thrive on being kind and nice. All nice people are young. It's true that green and blue people are also red people.
Gary is young.
@0: Bob is kind.[(triple1)] Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is rough.[(triple2)] Dave is nice.[(triple6)] Dave is rough.[(triple5)] Gary is kind.[(triple7)] @1: Charlie is nice.[(((triple2 triple3 triple4) -> rule4))] Charlie is red.[(((triple4) -> rule1))] Dave is young.[(((triple6) -> rule5))] @2: Charlie is young.[(((((triple2 triple3 triple4) -> rule4)) -> rule5))] @3: Charlie is round.[(((triple2 ((((triple2 triple3 triple4) -> rule4)) -> rule5) triple4) -> rule3))]