Anne is furry. Anne is not quiet. Charlie is not cold. Charlie is kind. Charlie is not rough. Charlie is round. Dave is furry. Dave is not quiet. Gary is cold. Gary is furry. Gary is quiet. Gary is rough. Furry, rough things are cold. All kind things are quiet.
Anne is not cold.
@0: Anne is furry.[(triple1)] Anne is not quiet.[(triple2)] Charlie is kind.[(triple4)] Charlie is not cold.[(triple3)] Charlie is not rough.[(triple5)] Charlie is round.[(triple6)] Dave is furry.[(triple7)] Dave is not quiet.[(triple8)] Gary is cold.[(triple9 OR ((triple10 triple12) -> rule1))] Gary is furry.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] @1: Charlie is quiet.[(((triple4) -> rule2))]