Anne is green. Dave is furry. Dave is kind. Dave is rough. Fiona is furry. Fiona is green. Fiona is smart. Fiona is white. Harry is rough. Harry is white. All rough, furry people are smart. Rough, white people are smart. All white, rough people are green. All kind people are blue. Smart, blue people are green. All rough people are furry. All blue people are kind. All furry, rough people are blue.
Fiona is smart.
@0: Anne is green.[(triple1)] Dave is furry.[(triple2 OR ((triple4) -> rule6))] Dave is kind.[(triple3 OR ((((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple4) -> rule6) triple4) -> rule8)) -> rule7))] Dave is rough.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Dave is blue.[(((triple3) -> rule4) OR ((triple2 triple4) -> rule8) OR ((((triple4) -> rule6) triple4) -> rule8))] Dave is smart.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1))] Harry is furry.[(((triple9) -> rule6))] Harry is green.[(((triple10 triple9) -> rule3) OR ((((triple9 triple10) -> rule2) ((((triple9) -> rule6) triple9) -> rule8)) -> rule5) OR ((((triple9 ((triple9) -> rule6)) -> rule1) ((((triple9) -> rule6) triple9) -> rule8)) -> rule5))] Harry is smart.[(((triple9 triple10) -> rule2) OR ((triple9 ((triple9) -> rule6)) -> rule1))] @2: Dave is green.[(((((triple4 triple2) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple4 triple2) -> rule1) ((triple2 triple4) -> rule8)) -> rule5) OR ((((triple4 triple2) -> rule1) ((((triple4) -> rule6) triple4) -> rule8)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((triple2 triple4) -> rule8)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((triple4) -> rule6) triple4) -> rule8)) -> rule5))] Harry is blue.[(((((triple9) -> rule6) triple9) -> rule8))] @3: Harry is kind.[(((((((triple9) -> rule6) triple9) -> rule8)) -> rule7))]