Anne is white. Anne is young. Bob is cold. Bob is quiet. Bob is smart. Bob is young. Dave is cold. Dave is furry. Dave is quiet. Dave is round. Dave is smart. Dave is white. Dave is young. Fiona is furry. Fiona is quiet. If Dave is white and Dave is quiet then Dave is cold. If something is round then it is quiet. If Bob is quiet and Bob is smart then Bob is white. If something is smart and round then it is furry. Quiet, young things are furry. If something is round and young then it is smart. All furry, smart things are round. White things are furry.
Fiona is smart.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Bob is cold.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7 OR ((triple12 triple9) -> rule1) OR ((triple12 ((triple10) -> rule2)) -> rule1) OR ((triple12 ((((triple8 triple11) -> rule7)) -> rule2)) -> rule1) OR ((triple12 ((((((triple12) -> rule8) triple11) -> rule7)) -> rule2)) -> rule1))] Dave is furry.[(triple8 OR ((triple12) -> rule8) OR ((triple11 triple10) -> rule4) OR ((triple9 triple13) -> rule5) OR ((((triple10) -> rule2) triple13) -> rule5) OR ((((triple10 triple13) -> rule6) triple10) -> rule4))] Dave is quiet.[(triple9 OR ((triple10) -> rule2) OR ((((triple8 triple11) -> rule7)) -> rule2) OR ((((((triple12) -> rule8) triple11) -> rule7)) -> rule2))] Dave is round.[(triple10 OR ((triple8 triple11) -> rule7) OR ((((triple12) -> rule8) triple11) -> rule7) OR ((((triple9 triple13) -> rule5) triple11) -> rule7))] Dave is smart.[(triple11 OR ((triple10 triple13) -> rule6))] Dave is white.[(triple12)] Dave is young.[(triple13)] Fiona is furry.[(triple14)] Fiona is quiet.[(triple15)] @1: Anne is furry.[(((triple1) -> rule8))] Bob is furry.[(((triple4 triple6) -> rule5) OR ((((triple4 triple5) -> rule3)) -> rule8))] Bob is white.[(((triple4 triple5) -> rule3))] @2: Bob is round.[(((((triple4 triple6) -> rule5) triple5) -> rule7) OR ((((((triple4 triple5) -> rule3)) -> rule8) triple5) -> rule7))]