Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is smart. Erin is white. If something is green and not rough then it is smart. All rough things are smart. If Charlie is furry and Charlie is not green then Charlie is not kind. If Charlie is green then Charlie is smart. If Erin is kind then Erin is smart. All rough, green things are cold.
Erin is not green.
@0: Charlie is cold.[(triple1 OR ((triple5 triple3) -> rule6))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple3) -> rule4) OR ((triple5) -> rule2))] Charlie is white.[(triple7)] Erin is cold.[(triple8 OR ((triple12 triple10) -> rule6))] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13 OR ((triple11) -> rule5) OR ((triple12) -> rule2))] Erin is white.[(triple14)]