Anne is cold. Charlie is smart. Dave is not red. Cold people are red. If Dave is green then Dave is not red. If someone is smart and red then they are not round. If Anne is big and Anne is not smart then Anne is green. If someone is young and not cold then they are green. If someone is big then they are not green.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Charlie is smart.[(triple2)] Dave is not red.[(triple3)] @1: Anne is red.[(((triple1) -> rule1))]