Anne is furry. Anne is white. Charlie is not blue. Charlie is nice. Dave is rough. Harry is blue. Harry is white. All furry people are smart. If someone is white and furry then they are smart. All nice, white people are quiet. All rough people are not nice. Nice people are white. Quiet, white people are furry. If Charlie is smart and Charlie is rough then Charlie is blue. If Charlie is blue and Charlie is not nice then Charlie is not smart.
Harry is quiet.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple3)] Dave is rough.[(triple5)] Harry is blue.[(triple6)] Harry is white.[(triple7)] @1: Anne is smart.[(((triple1) -> rule1) OR ((triple2 triple1) -> rule2))] Charlie is white.[(((triple4) -> rule5))] Dave is not nice.[(((triple5) -> rule4))] @2: Charlie is quiet.[(((triple4 ((triple4) -> rule5)) -> rule3))] @3: Charlie is furry.[(((((triple4 ((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule6))] @4: Charlie is smart.[(((((((triple4 ((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((triple4) -> rule5) ((((triple4 ((triple4) -> rule5)) -> rule3) ((triple4) -> rule5)) -> rule6)) -> rule2))]