Bob is furry. Charlie is not quiet. Gary is blue. All furry things are big. If Charlie is furry and Charlie is not red then Charlie is big.
Gary is big.
@0: Bob is furry.[(triple1)] Charlie is not quiet.[(triple2)] Gary is blue.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))]