Anne is blue. Anne is cold. Anne is nice. Anne is red. Dave is big. Dave is nice. Fiona is red. Fiona is smart. Harry is big. Harry is cold. If someone is red and not cold then they are smart. If Fiona is red and Fiona is cold then Fiona is not smart. All smart people are nice. If someone is cold then they are green. If Dave is cold and Dave is not green then Dave is not big. If Anne is not green and Anne is not big then Anne is nice.
Anne is nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] @1: Anne is green.[(((triple2) -> rule4))] Fiona is nice.[(((triple8) -> rule3))] Harry is green.[(((triple10) -> rule4))]