Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Charlie is furry. Charlie is rough. Charlie is young. Gary is cold. Gary is kind. Gary is quiet. Gary is smart. Gary is young. Quiet things are cold. If Charlie is furry then Charlie is quiet.
Anne is rough.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is rough.[(triple9)] Charlie is young.[(triple10)] Gary is cold.[(triple11 OR ((triple13) -> rule1))] Gary is kind.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Charlie is quiet.[(((triple8) -> rule2))] @2: Charlie is cold.[(((((triple8) -> rule2)) -> rule1))]