Anne is not blue. Anne is not cold. Anne is smart. Anne is young. Charlie is quiet. Dave is blue. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is not young. If something is kind and quiet then it is furry. If something is young and cold then it is quiet. Furry things are quiet. All cold things are smart. If Fiona is young then Fiona is furry. Quiet things are kind. Smart, furry things are blue. Kind, furry things are cold.
Fiona is quiet.
@0: Anne is not blue.[(triple1)] Anne is not cold.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is quiet.[(triple5)] Dave is blue.[(triple6)] Fiona is blue.[(triple7 OR ((((triple8) -> rule4) ((((triple9) -> rule6) triple9) -> rule1)) -> rule7) OR ((((((((triple9) -> rule6) ((((triple9) -> rule6) triple9) -> rule1)) -> rule8)) -> rule4) ((((triple9) -> rule6) triple9) -> rule1)) -> rule7))] Fiona is cold.[(triple8 OR ((((triple9) -> rule6) ((((triple9) -> rule6) triple9) -> rule1)) -> rule8))] Fiona is not young.[(triple10)] Fiona is quiet.[(triple9)] @1: Charlie is kind.[(((triple5) -> rule6))] Fiona is kind.[(((triple9) -> rule6))] Fiona is smart.[(((triple8) -> rule4) OR ((((((triple9) -> rule6) ((((triple9) -> rule6) triple9) -> rule1)) -> rule8)) -> rule4))] @2: Charlie is furry.[(((((triple5) -> rule6) triple5) -> rule1))] Fiona is furry.[(((((triple9) -> rule6) triple9) -> rule1))] @3: Charlie is cold.[(((((triple5) -> rule6) ((((triple5) -> rule6) triple5) -> rule1)) -> rule8))] @4: Charlie is smart.[(((((((triple5) -> rule6) ((((triple5) -> rule6) triple5) -> rule1)) -> rule8)) -> rule4))] @5: Charlie is blue.[(((((((((triple5) -> rule6) ((((triple5) -> rule6) triple5) -> rule1)) -> rule8)) -> rule4) ((((triple5) -> rule6) triple5) -> rule1)) -> rule7))]