Anne is furry. Anne is quiet. Bob is blue. Bob is furry. Bob is rough. Bob is smart. Dave is kind. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. If someone is smart then they are rough. All quiet, furry people are smart. If someone is furry and rough then they are kind.
Fiona is not smart.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Bob is rough.[(triple5 OR ((triple6) -> rule1))] Bob is smart.[(triple6)] Dave is kind.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10 OR ((triple9 triple11) -> rule3))] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] @1: Anne is smart.[(((triple2 triple1) -> rule2))] Bob is kind.[(((triple4 triple5) -> rule3) OR ((triple4 ((triple6) -> rule1)) -> rule3))] @2: Anne is rough.[(((((triple2 triple1) -> rule2)) -> rule1))] @3: Anne is kind.[(((triple1 ((((triple2 triple1) -> rule2)) -> rule1)) -> rule3))]