Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. All quiet, green things are furry. Green things are kind. If something is kind and smart then it is nice. If something is smart then it is nice. If Charlie is kind then Charlie is nice. If something is quiet then it is smart.
Charlie is not smart.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple6 triple3) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple3) -> rule2))] Charlie is nice.[(triple5 OR ((triple4) -> rule5) OR ((triple7) -> rule4) OR ((triple4 triple7) -> rule3) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple6) -> rule6)) -> rule4) OR ((triple4 ((triple6) -> rule6)) -> rule3) OR ((((triple3) -> rule2) triple7) -> rule3) OR ((((triple3) -> rule2) ((triple6) -> rule6)) -> rule3))] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7 OR ((triple6) -> rule6))]