Anne is nice. Anne is white. Bob is not big. Bob is not furry. Bob is quiet. Bob is white. Charlie is cold. Charlie is furry. Charlie is quiet. Dave is furry. Dave is quiet. Dave is not white. If Anne is not furry then Anne is quiet. Cold things are big. Furry things are smart. Furry things are quiet. If something is nice then it is white. White, big things are nice. Smart, furry things are cold. If something is white then it is not cold.
Anne is not smart.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule5))] Bob is not big.[(triple3)] Bob is not furry.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple7 OR ((((triple8) -> rule3) triple8) -> rule7))] Charlie is furry.[(triple8)] Charlie is quiet.[(triple9 OR ((triple8) -> rule4))] Dave is furry.[(triple10)] Dave is not white.[(triple12)] Dave is quiet.[(triple11 OR ((triple10) -> rule4))] @1: Anne is not cold.[(((triple2) -> rule8) OR ((((triple1) -> rule5)) -> rule8))] Bob is not cold.[(((triple6) -> rule8))] Charlie is big.[(((triple7) -> rule2) OR ((((((triple8) -> rule3) triple8) -> rule7)) -> rule2))] Charlie is smart.[(((triple8) -> rule3))] Dave is smart.[(((triple10) -> rule3))] @2: Dave is cold.[(((((triple10) -> rule3) triple10) -> rule7))] @3: Dave is big.[(((((((triple10) -> rule3) triple10) -> rule7)) -> rule2))]