Bob is blue. Bob is furry. Bob is quiet. Charlie is blue. Charlie is furry. Charlie is quiet. Gary is young. Quiet people are furry.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule1))] Bob is quiet.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5 OR ((triple6) -> rule1))] Charlie is quiet.[(triple6)] Gary is young.[(triple7)]