Bob is quiet. Charlie is rough. Gary is young. Harry is rough. If Charlie is kind then Charlie is quiet. Young things are rough. If something is kind and furry then it is rough. Young things are rough. Blue things are furry. Blue things are rough.
Gary is not young.
@0: Bob is quiet.[(triple1)] Charlie is rough.[(triple2)] Gary is young.[(triple3)] Harry is rough.[(triple4)] @1: Gary is rough.[(((triple3) -> rule2) OR ((triple3) -> rule4))]