Bob is red. Charlie is furry. Gary is quiet. All rough, red things are furry. If something is red then it is furry.
Gary is not furry.
@0: Bob is red.[(triple1)] Charlie is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Bob is furry.[(((triple1) -> rule2))]