Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is white. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Fiona is cold. Fiona is kind. Fiona is smart. Fiona is white. If something is kind and cold then it is rough. If Anne is quiet and Anne is rough then Anne is white. Furry things are cold. If something is cold and rough then it is kind. Kind, furry things are smart. Furry, rough things are cold.
Fiona is quiet.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule3) OR ((triple2 triple4) -> rule6))] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5 OR ((triple3 triple4) -> rule2))] Erin is furry.[(triple6)] Erin is kind.[(triple7 OR ((((triple6) -> rule3) triple9) -> rule4) OR ((((triple6 triple9) -> rule6) triple9) -> rule4))] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((triple7 ((triple6) -> rule3)) -> rule1))] Erin is smart.[(triple10 OR ((triple7 triple6) -> rule5) OR ((((((triple6) -> rule3) triple9) -> rule4) triple6) -> rule5) OR ((((((triple6 triple9) -> rule6) triple9) -> rule4) triple6) -> rule5))] Erin is white.[(triple11)] Fiona is cold.[(triple12)] Fiona is kind.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Anne is kind.[(((triple1 triple4) -> rule4) OR ((((triple2) -> rule3) triple4) -> rule4) OR ((((triple2 triple4) -> rule6) triple4) -> rule4))] Erin is cold.[(((triple6) -> rule3) OR ((triple6 triple9) -> rule6))] Fiona is rough.[(((triple13 triple12) -> rule1))] @2: Anne is smart.[(((((triple1 triple4) -> rule4) triple2) -> rule5) OR ((((((triple2) -> rule3) triple4) -> rule4) triple2) -> rule5) OR ((((((triple2 triple4) -> rule6) triple4) -> rule4) triple2) -> rule5))]