Charlie is not furry. Charlie is green. Erin is cold. Erin is red. Erin is young. Harry is kind. Harry is young. Rough people are young. If Erin is furry and Erin is rough then Erin is green. If Erin is young and Erin is not furry then Erin is red. Young, red people are not rough. If someone is furry and not young then they are not cold. Kind, cold people are green. Red, cold people are green. If someone is cold then they are kind.
Charlie is not rough.
@0: Charlie is green.[(triple2)] Charlie is not furry.[(triple1)] Erin is cold.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Erin is green.[(((triple4 triple3) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule6))] Erin is kind.[(((triple3) -> rule8))] Erin is not rough.[(((triple5 triple4) -> rule4))]