Bob is blue. Charlie is quiet. Dave is blue. Harry is blue. All quiet things are round.
Bob is not rough.
@0: Bob is blue.[(triple1)] Charlie is quiet.[(triple2)] Dave is blue.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is round.[(((triple2) -> rule1))]