Anne is not young. Charlie is cold. Erin is not nice. Harry is young. If someone is young then they are not red. If Harry is young and Harry is furry then Harry is big. All red people are not smart.
Erin is red.
@0: Anne is not young.[(triple1)] Charlie is cold.[(triple2)] Erin is not nice.[(triple3)] Harry is young.[(triple4)] @1: Harry is not red.[(((triple4) -> rule1))]