Anne is not cold. Anne is not nice. Anne is round. Erin is cold. Erin is nice. Gary is blue. Gary is not white. Harry is not cold. Harry is nice. Harry is round. If something is rough and not round then it is quiet. All quiet things are nice. If something is blue and not white then it is nice. If Erin is cold then Erin is nice. If Harry is cold then Harry is rough. All nice things are not rough.
Erin is nice.
@0: Anne is not cold.[(triple1)] Anne is not nice.[(triple2)] Anne is round.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5 OR ((triple4) -> rule4))] Gary is blue.[(triple6)] Gary is not white.[(triple7)] Harry is nice.[(triple9)] Harry is not cold.[(triple8)] Harry is round.[(triple10)] @1: Erin is not rough.[(((triple5) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] Gary is nice.[(((triple6 triple7) -> rule3))] Harry is not rough.[(((triple9) -> rule6))] @2: Gary is not rough.[(((((triple6 triple7) -> rule3)) -> rule6))]