Gary is furry. Gary is kind. Harry is cold. Furry people are round. Cold, kind people are rough. All green people are cold. All furry people are round. If someone is kind then they are rough. If Harry is furry then Harry is kind.
Gary is furry.
@0: Gary is furry.[(triple1)] Gary is kind.[(triple2)] Harry is cold.[(triple3)] @1: Gary is rough.[(((triple2) -> rule5))] Gary is round.[(((triple1) -> rule1) OR ((triple1) -> rule4))]