Anne is blue. Charlie is white. Erin is kind. Gary is round. If Anne is round then Anne is cold. If Gary is rough and Gary is round then Gary is not white. If Erin is round then Erin is not kind. All kind things are blue. Cold, round things are rough. If something is cold then it is not rough. All blue, kind things are cold. If something is rough then it is white.
Erin is not rough.
@0: Anne is blue.[(triple1)] Charlie is white.[(triple2)] Erin is kind.[(triple3)] Gary is round.[(triple4)] @1: Erin is blue.[(((triple3) -> rule4))] @2: Erin is cold.[(((((triple3) -> rule4) triple3) -> rule7))] @3: Erin is not rough.[(((((((triple3) -> rule4) triple3) -> rule7)) -> rule6))]