Anne is cold. Anne is round. Anne is white. Dave is cold. Dave is nice. Dave is smart. Dave is white. Dave is young. Erin is cold. Erin is quiet. Erin is smart. Fiona is not white. Young, round things are cold. If something is round and not young then it is cold. If Erin is not cold and Erin is not young then Erin is smart. Cold things are nice. If something is round and smart then it is not nice. Smart things are nice.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule4) OR ((triple6) -> rule6))] Dave is smart.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8)] Erin is cold.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Fiona is not white.[(triple12)] @1: Anne is nice.[(((triple1) -> rule4))] Erin is nice.[(((triple11) -> rule6) OR ((triple9) -> rule4))]