Anne is quiet. Bob is kind. Charlie is furry. Dave is red. All furry things are nice.
Bob is not nice.
@0: Anne is quiet.[(triple1)] Bob is kind.[(triple2)] Charlie is furry.[(triple3)] Dave is red.[(triple4)] @1: Charlie is nice.[(((triple3) -> rule1))]