Anne is red. Charlie is smart. Harry is green. If Harry is green then Harry is quiet. If Anne is quiet then Anne is smart. White people are quiet. If someone is green then they are big. If someone is green and red then they are blue. If someone is blue and white then they are big.
Charlie is not blue.
@0: Anne is red.[(triple1)] Charlie is smart.[(triple2)] Harry is green.[(triple3)] @1: Harry is big.[(((triple3) -> rule4))] Harry is quiet.[(((triple3) -> rule1))]