Bob is round. Charlie is blue. Erin is quiet. Gary is furry. If something is furry then it is quiet. Round, quiet things are cold. Blue, rough things are furry.
Charlie is rough.
@0: Bob is round.[(triple1)] Charlie is blue.[(triple2)] Erin is quiet.[(triple3)] Gary is furry.[(triple4)] @1: Gary is quiet.[(((triple4) -> rule1))]