Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. Green, round people are furry. Round, furry people are green. If Charlie is white and Charlie is round then Charlie is green.
Charlie is not rough.
@0: Charlie is furry.[(triple1 OR ((triple2 triple6) -> rule1) OR ((((triple7 triple6) -> rule3) triple6) -> rule1))] Charlie is green.[(triple2 OR ((triple6 triple1) -> rule2) OR ((triple7 triple6) -> rule3))] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Erin is furry.[(triple8 OR ((triple9 triple13) -> rule1))] Erin is green.[(triple9 OR ((triple13 triple8) -> rule2))] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is white.[(triple14)]