Anne is kind. Anne is nice. Anne is young. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Dave is young. Fiona is smart. Harry is furry. Harry is quiet. All furry, smart people are nice. If someone is nice then they are white. All furry, young people are nice. All nice people are quiet. All quiet people are furry. If someone is smart then they are kind. Young, furry people are nice. Smart, kind people are quiet.
Anne is smart.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule5) OR ((((triple7 triple5) -> rule8)) -> rule5) OR ((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5))] Dave is kind.[(triple5 OR ((triple7) -> rule6))] Dave is quiet.[(triple6 OR ((triple7 triple5) -> rule8) OR ((((triple4 triple7) -> rule1)) -> rule4) OR ((((triple4 triple8) -> rule3)) -> rule4) OR ((((triple8 triple4) -> rule7)) -> rule4) OR ((triple7 ((triple7) -> rule6)) -> rule8))] Dave is smart.[(triple7)] Dave is young.[(triple8)] Fiona is smart.[(triple9)] Harry is furry.[(triple10 OR ((triple11) -> rule5))] Harry is quiet.[(triple11)] @1: Anne is quiet.[(((triple2) -> rule4))] Anne is white.[(((triple2) -> rule2))] Dave is nice.[(((triple4 triple7) -> rule1) OR ((triple4 triple8) -> rule3) OR ((triple8 triple4) -> rule7) OR ((triple8 ((triple6) -> rule5)) -> rule7) OR ((((triple6) -> rule5) triple7) -> rule1) OR ((((triple6) -> rule5) triple8) -> rule3) OR ((triple8 ((((triple7 triple5) -> rule8)) -> rule5)) -> rule7) OR ((((((triple7 triple5) -> rule8)) -> rule5) triple7) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule5) triple8) -> rule3) OR ((triple8 ((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5)) -> rule7) OR ((((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5) triple7) -> rule1) OR ((((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5) triple8) -> rule3))] Fiona is kind.[(((triple9) -> rule6))] @2: Anne is furry.[(((((triple2) -> rule4)) -> rule5))] Dave is white.[(((((triple4 triple7) -> rule1)) -> rule2) OR ((((triple4 triple8) -> rule3)) -> rule2) OR ((((triple8 triple4) -> rule7)) -> rule2) OR ((((triple8 ((triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple6) -> rule5) triple7) -> rule1)) -> rule2) OR ((((((triple6) -> rule5) triple8) -> rule3)) -> rule2) OR ((((triple8 ((((triple7 triple5) -> rule8)) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple7 triple5) -> rule8)) -> rule5) triple7) -> rule1)) -> rule2) OR ((((((((triple7 triple5) -> rule8)) -> rule5) triple8) -> rule3)) -> rule2) OR ((((triple8 ((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5) triple7) -> rule1)) -> rule2) OR ((((((((triple7 ((triple7) -> rule6)) -> rule8)) -> rule5) triple8) -> rule3)) -> rule2))] Fiona is quiet.[(((triple9 ((triple9) -> rule6)) -> rule8))] @3: Fiona is furry.[(((((triple9 ((triple9) -> rule6)) -> rule8)) -> rule5))] @4: Fiona is nice.[(((((((triple9 ((triple9) -> rule6)) -> rule8)) -> rule5) triple9) -> rule1))] @5: Fiona is white.[(((((((((triple9 ((triple9) -> rule6)) -> rule8)) -> rule5) triple9) -> rule1)) -> rule2))]