Anne is green. Bob is rough. Dave is quiet. Quiet things are furry. If Bob is round then Bob is furry. All young, rough things are furry. Quiet things are furry. Green, furry things are kind. If something is round then it is rough. If something is kind and quiet then it is young. Green things are quiet.
Anne is not furry.
@0: Anne is green.[(triple1)] Bob is rough.[(triple2)] Dave is quiet.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule8))] Dave is furry.[(((triple3) -> rule1) OR ((triple3) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule8)) -> rule4))] @3: Anne is kind.[(((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule5) OR ((triple1 ((((triple1) -> rule8)) -> rule4)) -> rule5))] @4: Anne is young.[(((((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule5) ((triple1) -> rule8)) -> rule7) OR ((((triple1 ((((triple1) -> rule8)) -> rule4)) -> rule5) ((triple1) -> rule8)) -> rule7))]