Anne is rough. Charlie is quiet. Erin is cold. Gary is red. Cold things are red. All big things are red. If something is red then it is not green. All cold, nice things are green. If Gary is nice then Gary is cold. Rough things are cold. Cold, green things are big. If something is quiet and rough then it is not nice.
Anne is not rough.
@0: Anne is rough.[(triple1)] Charlie is quiet.[(triple2)] Erin is cold.[(triple3)] Gary is red.[(triple4)] @1: Anne is cold.[(((triple1) -> rule6))] Erin is red.[(((triple3) -> rule1))] Gary is not green.[(((triple4) -> rule3))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule1))] Erin is not green.[(((((triple3) -> rule1)) -> rule3))] @3: Anne is not green.[(((((((triple1) -> rule6)) -> rule1)) -> rule3))]