Anne is young. Erin is not cold. If someone is big and not quiet then they are smart. All young people are nice. If Erin is cold and Erin is quiet then Erin is red. If Anne is big then Anne is cold. If Anne is red then Anne is cold. All smart, nice people are cold. Nice people are red. Cold people are not big.
Erin is red.
@0: Anne is young.[(triple1)] Erin is not cold.[(triple2)] @1: Anne is nice.[(((triple1) -> rule2))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule7))] @3: Anne is cold.[(((((((triple1) -> rule2)) -> rule7)) -> rule5))] @4: Anne is not big.[(((((((((triple1) -> rule2)) -> rule7)) -> rule5)) -> rule8))]