Bob is both young and fairly round in size. Dave is blue because he is round and big. He is young a bit rough around the edges. Fred always goes out of his way to show that he is kind to people. Harry is big and rough. People with big hands and red, rough skin are terribly kind. Blue people who are kind and nice are actually quite rough. If a nice person is round shaped, they feel blue about it. Looking blue can be a sign that someone is cold. A big, green person who is cold is assumed to be red also. Someone who is cold and big is also a red person.
Harry is rough.
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Fred is kind.[(triple8)] Harry is big.[(triple10)] Harry is rough.[(triple9)] @1: Dave is cold.[(((triple6) -> rule4))] @2: Dave is red.[(((triple7 ((triple6) -> rule4)) -> rule6))] @3: Dave is kind.[(((triple5 triple7 ((triple7 ((triple6) -> rule4)) -> rule6)) -> rule1))]