Bob is quiet. Dave is red. Gary is round. Quiet things are red. If something is round and not red then it is not green.
Dave is red.
@0: Bob is quiet.[(triple1)] Dave is red.[(triple2)] Gary is round.[(triple3)] @1: Bob is red.[(((triple1) -> rule1))]