Anne is cold. Anne is smart. Erin is cold. Erin is kind. Gary is kind. Gary is not nice. Gary is quiet. Harry is not kind. Harry is nice. Harry is quiet. If Harry is smart and Harry is not cold then Harry is kind. Red, kind people are smart. Cold, nice people are smart. All nice people are smart. Nice, red people are kind. If someone is smart and not round then they are kind. All round people are not red. All smart, nice people are quiet.
Gary is smart.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Gary is kind.[(triple5)] Gary is not nice.[(triple6)] Gary is quiet.[(triple7)] Harry is nice.[(triple9)] Harry is not kind.[(triple8)] Harry is quiet.[(triple10 OR ((((triple9) -> rule4) triple9) -> rule8))] @1: Harry is smart.[(((triple9) -> rule4))]