Anne is kind. Anne is not quiet. Dave is kind. Dave is round. Erin is kind. Harry is kind. Harry is round. If someone is green and kind then they are furry. Big, kind people are not quiet. Kind people are green. If someone is quiet then they are white. Round, furry people are white. If someone is round and quiet then they are big.
Dave is not green.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Dave is kind.[(triple3)] Dave is round.[(triple4)] Erin is kind.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Anne is green.[(((triple1) -> rule3))] Dave is green.[(((triple3) -> rule3))] Erin is green.[(((triple5) -> rule3))] Harry is green.[(((triple6) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule3) triple1) -> rule1))] Dave is furry.[(((((triple3) -> rule3) triple3) -> rule1))] Erin is furry.[(((((triple5) -> rule3) triple5) -> rule1))] Harry is furry.[(((((triple6) -> rule3) triple6) -> rule1))] @3: Dave is white.[(((triple4 ((((triple3) -> rule3) triple3) -> rule1)) -> rule5))] Harry is white.[(((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule5))]