Anne is cold. Anne is furry. Anne is rough. Anne is smart. Anne is white. Bob is nice. Bob is rough. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is white. Erin is young. Fiona is cold. Fiona is furry. All smart things are cold. If Bob is young and Bob is cold then Bob is furry. Young things are cold. If Fiona is rough and Fiona is cold then Fiona is smart. Cold, furry things are white. All rough, nice things are young. If something is white and furry then it is smart.
Fiona is smart.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1) OR ((((triple5 triple2) -> rule7)) -> rule1))] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((triple5 triple2) -> rule7) OR ((((triple1 triple2) -> rule5) triple2) -> rule7))] Anne is white.[(triple5 OR ((triple1 triple2) -> rule5) OR ((((triple4) -> rule1) triple2) -> rule5))] Bob is nice.[(triple6)] Bob is rough.[(triple7)] Erin is cold.[(triple8 OR ((triple12) -> rule1) OR ((triple14) -> rule3) OR ((((triple11 triple10) -> rule6)) -> rule3) OR ((((triple13 triple9) -> rule7)) -> rule1))] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12 OR ((triple13 triple9) -> rule7) OR ((((triple8 triple9) -> rule5) triple9) -> rule7) OR ((((((triple14) -> rule3) triple9) -> rule5) triple9) -> rule7) OR ((((((((triple11 triple10) -> rule6)) -> rule3) triple9) -> rule5) triple9) -> rule7))] Erin is white.[(triple13 OR ((triple8 triple9) -> rule5) OR ((((triple12) -> rule1) triple9) -> rule5) OR ((((triple14) -> rule3) triple9) -> rule5) OR ((((((triple11 triple10) -> rule6)) -> rule3) triple9) -> rule5))] Erin is young.[(triple14 OR ((triple11 triple10) -> rule6))] Fiona is cold.[(triple15)] Fiona is furry.[(triple16)] @1: Bob is young.[(((triple7 triple6) -> rule6))] Fiona is white.[(((triple15 triple16) -> rule5))] @2: Bob is cold.[(((((triple7 triple6) -> rule6)) -> rule3))] Fiona is smart.[(((((triple15 triple16) -> rule5) triple16) -> rule7))] @3: Bob is furry.[(((((triple7 triple6) -> rule6) ((((triple7 triple6) -> rule6)) -> rule3)) -> rule2))] @4: Bob is white.[(((((((triple7 triple6) -> rule6)) -> rule3) ((((triple7 triple6) -> rule6) ((((triple7 triple6) -> rule6)) -> rule3)) -> rule2)) -> rule5))] @5: Bob is smart.[(((((((((triple7 triple6) -> rule6)) -> rule3) ((((triple7 triple6) -> rule6) ((((triple7 triple6) -> rule6)) -> rule3)) -> rule2)) -> rule5) ((((triple7 triple6) -> rule6) ((((triple7 triple6) -> rule6)) -> rule3)) -> rule2)) -> rule7))]