Anne is green. Anne is red. Anne is not round. Anne is not smart. Bob is cold. Bob is red. Bob is round. Bob is white. Charlie is red. Dave is red. Dave is not round. Dave is smart. All round things are not young. If Anne is white and Anne is round then Anne is not red. Red things are green. If something is round and smart then it is green. If Charlie is red and Charlie is white then Charlie is round. If something is round and not red then it is cold.
Dave is not cold.
@0: Anne is green.[(triple1 OR ((triple2) -> rule3))] Anne is not round.[(triple3)] Anne is not smart.[(triple4)] Anne is red.[(triple2)] Bob is cold.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple7)] Bob is white.[(triple8)] Charlie is red.[(triple9)] Dave is not round.[(triple11)] Dave is red.[(triple10)] Dave is smart.[(triple12)] @1: Bob is green.[(((triple6) -> rule3))] Bob is not young.[(((triple7) -> rule1))] Charlie is green.[(((triple9) -> rule3))] Dave is green.[(((triple10) -> rule3))]