Bob is round. Dave is rough. Fiona is quiet. Harry is round. If someone is young then they are smart. If Dave is rough then Dave is round.
Dave is furry.
@0: Bob is round.[(triple1)] Dave is rough.[(triple2)] Fiona is quiet.[(triple3)] Harry is round.[(triple4)] @1: Dave is round.[(((triple2) -> rule2))]