Charlie is furry. Charlie is rough. Charlie is young. If something is nice then it is young. Rough things are young. Rough things are smart. Nice, smart things are kind. If Charlie is smart then Charlie is nice. All rough, furry things are not green. All green things are nice. All furry things are nice.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule8)) -> rule1) OR ((((((triple2) -> rule3)) -> rule5)) -> rule1))] @1: Charlie is nice.[(((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule5))] Charlie is not green.[(((triple2 triple1) -> rule6))] Charlie is smart.[(((triple2) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule8) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4))]