Bob is white. Bob is young. Charlie is furry. Quiet people are white. If someone is white then they are furry. If someone is big and cold then they are quiet. If someone is green then they are furry. Furry, quiet people are green. Big people are cold. If someone is white and cold then they are furry. Big people are cold.
Bob is not quiet.
@0: Bob is white.[(triple1)] Bob is young.[(triple2)] Charlie is furry.[(triple3)] @1: Bob is furry.[(((triple1) -> rule2))]