Charlie is furry. Charlie is quiet. Charlie is white. Dave is furry. Dave is green. Dave is kind. Dave is quiet. All kind people are smart. If Charlie is red and Charlie is kind then Charlie is quiet. All quiet, furry people are green.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5 OR ((triple7 triple4) -> rule3))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] @1: Charlie is green.[(((triple2 triple1) -> rule3))] Dave is smart.[(((triple6) -> rule1))]