Charlie is blue. Charlie is not green. Charlie is rough. Charlie is white. Erin is furry. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is white. Gary is young. If someone is furry and not blue then they are young. All rough people are cold. All young, furry people are green.
Erin is not green.
@0: Charlie is blue.[(triple1)] Charlie is not green.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Erin is furry.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7 OR ((triple10) -> rule2))] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple12 triple8) -> rule3))] Gary is rough.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Charlie is cold.[(((triple3) -> rule2))]