Anne is cold. Anne is white. Bob is big. Bob is smart. Charlie is cold. Charlie is quiet. Charlie is smart. Dave is cold. Dave is quiet. Dave is white. All round, furry things are not quiet. If something is cold and round then it is not quiet. If Dave is quiet and Dave is not smart then Dave is furry. If something is quiet then it is cold. If something is quiet and not white then it is not cold. If something is furry and cold then it is round. If Charlie is round and Charlie is not white then Charlie is quiet. Round things are big.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3)] Bob is smart.[(triple4)] Charlie is cold.[(triple5 OR ((triple6) -> rule4))] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Dave is cold.[(triple8 OR ((triple9) -> rule4))] Dave is quiet.[(triple9)] Dave is white.[(triple10)]