Anne is cold. Anne is not quiet. Anne is rough. Anne is not smart. Charlie is not red. Charlie is white. Gary is cold. Gary is quiet. Gary is not red. Gary is rough. Gary is not smart. Gary is white. Harry is not cold. Harry is red. Harry is not smart. Harry is white. Red people are quiet. If someone is cold and not white then they are quiet. If someone is quiet then they are rough.
Charlie is not quiet.
@0: Anne is cold.[(triple1)] Anne is not quiet.[(triple2)] Anne is not smart.[(triple4)] Anne is rough.[(triple3)] Charlie is not red.[(triple5)] Charlie is white.[(triple6)] Gary is cold.[(triple7)] Gary is not red.[(triple9)] Gary is not smart.[(triple11)] Gary is quiet.[(triple8)] Gary is rough.[(triple10 OR ((triple8) -> rule3))] Gary is white.[(triple12)] Harry is not cold.[(triple13)] Harry is not smart.[(triple15)] Harry is red.[(triple14)] Harry is white.[(triple16)] @1: Harry is quiet.[(((triple14) -> rule1))] @2: Harry is rough.[(((((triple14) -> rule1)) -> rule3))]