Anne is blue. Anne is furry. Anne is kind. Anne is young. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is young. Erin is blue. Erin is nice. Erin is rough. Erin is white. Erin is young. Rough, furry things are blue. If something is furry then it is blue.
Erin is furry.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple5 OR ((triple6) -> rule2) OR ((triple9 triple6) -> rule1))] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is rough.[(triple9)] Charlie is young.[(triple10)] Erin is blue.[(triple11)] Erin is nice.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)]