Anne is green. Bob is blue. Bob is cold. Charlie is white. Dave is green. Dave is round. Dave is smart. White, round things are young. If Dave is young then Dave is blue. All blue, young things are smart. If something is green then it is round. Young, white things are round. If something is white then it is cold. All blue things are smart. If Anne is cold and Anne is white then Anne is round.
Charlie is white.
@0: Anne is green.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Charlie is white.[(triple4)] Dave is green.[(triple5)] Dave is round.[(triple6 OR ((triple5) -> rule4))] Dave is smart.[(triple7)] @1: Anne is round.[(((triple1) -> rule4))] Bob is smart.[(((triple2) -> rule7))] Charlie is cold.[(((triple4) -> rule6))]