Bob is kind. Charlie is quiet. Gary is white. All quiet things are cold. All round, quiet things are kind. If something is furry and white then it is quiet. If something is kind and cold then it is furry. If Bob is kind and Bob is round then Bob is rough. If Gary is round then Gary is kind.
Gary is not white.
@0: Bob is kind.[(triple1)] Charlie is quiet.[(triple2)] Gary is white.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule1))]