Anne is big. Harry is big. If Anne is rough and Anne is not smart then Anne is cold. Big, quiet people are rough. If Harry is big then Harry is not green. If someone is quiet and green then they are not big. All green, big people are not white. If Harry is quiet then Harry is not cold. White people are not cold. If someone is quiet and not big then they are cold.
Harry is smart.
@0: Anne is big.[(triple1)] Harry is big.[(triple2)] @1: Harry is not green.[(((triple2) -> rule3))]