Bob is not furry. Charlie is quiet. Gary is cold. Gary is furry. Gary is not green. Gary is rough. Harry is cold. Quiet things are white. If something is green and white then it is furry. If something is white and furry then it is cold. All furry things are cold. If something is quiet then it is green. All white things are kind. If something is green and white then it is rough. If Bob is cold then Bob is white.
Gary is not quiet.
@0: Bob is not furry.[(triple1)] Charlie is quiet.[(triple2)] Gary is cold.[(triple3 OR ((triple4) -> rule4))] Gary is furry.[(triple4)] Gary is not green.[(triple5)] Gary is rough.[(triple6)] Harry is cold.[(triple7)] @1: Charlie is green.[(((triple2) -> rule5))] Charlie is white.[(((triple2) -> rule1))] @2: Charlie is furry.[(((((triple2) -> rule5) ((triple2) -> rule1)) -> rule2))] Charlie is kind.[(((((triple2) -> rule1)) -> rule6))] Charlie is rough.[(((((triple2) -> rule5) ((triple2) -> rule1)) -> rule7))] @3: Charlie is cold.[(((((((triple2) -> rule5) ((triple2) -> rule1)) -> rule2)) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule5) ((triple2) -> rule1)) -> rule2)) -> rule3))]