Anne is white. Charlie is not red. Erin is not big. Harry is big. If someone is big then they are cold. White people are quiet.
Harry is cold.
@0: Anne is white.[(triple1)] Charlie is not red.[(triple2)] Erin is not big.[(triple3)] Harry is big.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule2))] Harry is cold.[(((triple4) -> rule1))]