Bob is white. Dave is furry. Fiona is kind. Gary is young. If someone is rough and kind then they are young. If Gary is furry and Gary is quiet then Gary is smart. Kind, young people are quiet. All white people are quiet. If Fiona is smart then Fiona is quiet. If Dave is white then Dave is smart.
Dave is rough.
@0: Bob is white.[(triple1)] Dave is furry.[(triple2)] Fiona is kind.[(triple3)] Gary is young.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule4))]