Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. Young, quiet people are nice. Nice people are cold.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule2) OR ((((triple7 triple4) -> rule1)) -> rule2))] Dave is nice.[(triple3 OR ((triple7 triple4) -> rule1))] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]