Bob is furry. Dave is young. Gary is young. Young things are rough. Furry, quiet things are big. If Gary is furry and Gary is green then Gary is quiet.
Dave is red.
@0: Bob is furry.[(triple1)] Dave is young.[(triple2)] Gary is young.[(triple3)] @1: Dave is rough.[(((triple2) -> rule1))] Gary is rough.[(((triple3) -> rule1))]