Anne is nice. Anne is quiet. Anne is rough. Anne is round. Charlie is cold. Charlie is furry. Charlie is nice. Dave is cold. Dave is quiet. Dave is rough. Dave is not round. Dave is smart. If Anne is smart and Anne is round then Anne is nice. If Anne is round and Anne is furry then Anne is nice. Quiet, furry things are smart. If something is cold and smart then it is nice. Round, nice things are cold. If something is quiet then it is rough. If something is cold and nice then it is furry. If Dave is rough then Dave is nice.
Charlie is quiet.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule6))] Anne is round.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6 OR ((triple5 triple7) -> rule7))] Charlie is nice.[(triple7)] Dave is cold.[(triple8)] Dave is not round.[(triple11)] Dave is quiet.[(triple9)] Dave is rough.[(triple10 OR ((triple9) -> rule6))] Dave is smart.[(triple12 OR ((triple9 ((triple8 ((triple10) -> rule8)) -> rule7)) -> rule3) OR ((triple9 ((triple8 ((((triple9) -> rule6)) -> rule8)) -> rule7)) -> rule3))] @1: Anne is cold.[(((triple4 triple1) -> rule5))] Dave is nice.[(((triple10) -> rule8) OR ((triple8 triple12) -> rule4) OR ((((triple9) -> rule6)) -> rule8))] @2: Anne is furry.[(((((triple4 triple1) -> rule5) triple1) -> rule7))] Dave is furry.[(((triple8 ((triple10) -> rule8)) -> rule7) OR ((triple8 ((triple8 triple12) -> rule4)) -> rule7) OR ((triple8 ((((triple9) -> rule6)) -> rule8)) -> rule7))] @3: Anne is smart.[(((triple2 ((((triple4 triple1) -> rule5) triple1) -> rule7)) -> rule3))]