Anne is round. Bob is nice. Dave is quiet. Young things are red. All nice things are rough. Red, furry things are quiet.
Dave is quiet.
@0: Anne is round.[(triple1)] Bob is nice.[(triple2)] Dave is quiet.[(triple3)] @1: Bob is rough.[(((triple2) -> rule2))]