Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Young, rough things are quiet. All quiet, furry things are kind.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 triple1) -> rule2) OR ((((triple7 triple5) -> rule1) triple1) -> rule2))] Charlie is quiet.[(triple4 OR ((triple7 triple5) -> rule1))] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]