Anne is red. Anne is round. Charlie is red. Charlie is round. Dave is furry. Dave is green. Dave is nice. If Anne is furry then Anne is green. If someone is round then they are cold. If Dave is red then Dave is green. Quiet people are red. All cold people are green. If someone is red and not cold then they are not nice. All furry, red people are not nice. If Anne is green and Anne is not cold then Anne is red.
Charlie is nice.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] @1: Anne is cold.[(((triple2) -> rule2))] Charlie is cold.[(((triple4) -> rule2))] @2: Anne is green.[(((((triple2) -> rule2)) -> rule5))] Charlie is green.[(((((triple4) -> rule2)) -> rule5))]