That guy Alan sure is nice. Bob may be round, but he is also kind. Green, big and red are qualities which all describe Dave. That guy Eric sure is nice. Anyone feeling cold is bound to act nice. Big people with red hair are cold because they cannot find coats that fit. People who are said to be big and nice are round. Having cold and red qualities means a person will also have a rough quality.
Dave is young.
@0: Alan is nice.[(triple1)] Bob is kind.[(triple3)] Bob is round.[(triple2)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is red.[(triple4)] Eric is nice.[(triple7)] @1: Dave is cold.[(((triple4 triple6) -> rule2))] @2: Dave is nice.[(((((triple4 triple6) -> rule2)) -> rule1))] Dave is rough.[(((((triple4 triple6) -> rule2) triple4) -> rule4))] @3: Dave is round.[(((triple6 ((((triple4 triple6) -> rule2)) -> rule1)) -> rule3))]