Dave is round. Fiona is furry. Gary is nice. Harry is young. If Dave is red then Dave is quiet. If someone is quiet and rough then they are red. Furry, nice people are rough. Round people are furry. If someone is red then they are rough. All young people are furry.
Gary is nice.
@0: Dave is round.[(triple1)] Fiona is furry.[(triple2)] Gary is nice.[(triple3)] Harry is young.[(triple4)] @1: Dave is furry.[(((triple1) -> rule4))] Harry is furry.[(((triple4) -> rule6))]