Bob is kind. Charlie is round. Dave is rough. Harry is nice. If someone is rough then they are nice. All quiet, rough people are white.
Bob is quiet.
@0: Bob is kind.[(triple1)] Charlie is round.[(triple2)] Dave is rough.[(triple3)] Harry is nice.[(triple4)] @1: Dave is nice.[(((triple3) -> rule1))]