Anne is red. Charlie is quiet. Erin is not furry. Harry is cold. All cold, furry things are quiet. If Anne is furry and Anne is smart then Anne is red. Furry things are not big. Big things are not red. All quiet things are furry. If Anne is furry and Anne is quiet then Anne is smart. If something is cold and not quiet then it is green. If Erin is green and Erin is not furry then Erin is red.
Charlie is red.
@0: Anne is red.[(triple1)] Charlie is quiet.[(triple2)] Erin is not furry.[(triple3)] Harry is cold.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule5))] @2: Charlie is not big.[(((((triple2) -> rule5)) -> rule3))]