Anne is furry. Anne is smart. Bob is furry. Dave is red. Dave is smart. Fiona is nice. Fiona is not round. All smart, round things are not nice. All smart, blue things are nice. If something is blue then it is green. All nice, furry things are not green. All furry things are green. If something is red then it is smart. If something is smart then it is round. Green things are red.
Fiona is red.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2 OR ((((((triple1) -> rule5)) -> rule8)) -> rule6))] Bob is furry.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5 OR ((triple4) -> rule6))] Fiona is nice.[(triple6)] Fiona is not round.[(triple7)] @1: Anne is green.[(((triple1) -> rule5))] Anne is round.[(((triple2) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8)) -> rule6)) -> rule7))] Bob is green.[(((triple3) -> rule5))] Dave is round.[(((triple5) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] @2: Anne is not nice.[(((triple2 ((triple2) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8)) -> rule6) ((triple2) -> rule7)) -> rule1) OR ((triple2 ((((((((triple1) -> rule5)) -> rule8)) -> rule6)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8)) -> rule6) ((((((((triple1) -> rule5)) -> rule8)) -> rule6)) -> rule7)) -> rule1))] Anne is red.[(((((triple1) -> rule5)) -> rule8))] Bob is red.[(((((triple3) -> rule5)) -> rule8))] Dave is not nice.[(((triple5 ((triple5) -> rule7)) -> rule1) OR ((((triple4) -> rule6) ((triple5) -> rule7)) -> rule1) OR ((triple5 ((((triple4) -> rule6)) -> rule7)) -> rule1) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule1))] @3: Bob is smart.[(((((((triple3) -> rule5)) -> rule8)) -> rule6))] @4: Bob is round.[(((((((((triple3) -> rule5)) -> rule8)) -> rule6)) -> rule7))] @5: Bob is not nice.[(((((((((triple3) -> rule5)) -> rule8)) -> rule6) ((((((((triple3) -> rule5)) -> rule8)) -> rule6)) -> rule7)) -> rule1))]