Bob is big. Charlie is furry. Gary is quiet. All quiet people are furry.
Bob is big.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is furry.[(((triple3) -> rule1))]