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.
Bob is not round.
@0: Bob is round.[(triple1)] Dave is rough.[(triple2)] Fiona is quiet.[(triple3)] Harry is round.[(triple4)] @1: Dave is round.[(((triple2) -> rule2))]