Charlie is nice. Erin is not green. Gary is nice. If Erin is not rough then Erin is cold. If something is green then it is not cold. All white things are green. If Charlie is not rough then Charlie is green. If something is nice then it is white. If something is nice and not cold then it is kind.
Gary is not green.
@0: Charlie is nice.[(triple1)] Erin is not green.[(triple2)] Gary is nice.[(triple3)] @1: Charlie is white.[(((triple1) -> rule5))] Gary is white.[(((triple3) -> rule5))] @2: Charlie is green.[(((((triple1) -> rule5)) -> rule3))] Gary is green.[(((((triple3) -> rule5)) -> rule3))] @3: Charlie is not cold.[(((((((triple1) -> rule5)) -> rule3)) -> rule2))] Gary is not cold.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))] @4: Charlie is kind.[(((triple1 ((((((triple1) -> rule5)) -> rule3)) -> rule2)) -> rule6))] Gary is kind.[(((triple3 ((((((triple3) -> rule5)) -> rule3)) -> rule2)) -> rule6))]