Anne is big. Charlie is blue. Fiona is not quiet. Harry is not blue. Cold, blue people are not big. All cold people are green. All blue people are green. If someone is white then they are blue. If someone is green then they are cold. If someone is cold and not big then they are not nice. Cold, nice people are not quiet. If Fiona is quiet and Fiona is blue then Fiona is nice.
Anne is green.
@0: Anne is big.[(triple1)] Charlie is blue.[(triple2)] Fiona is not quiet.[(triple3)] Harry is not blue.[(triple4)] @1: Charlie is green.[(((triple2) -> rule3))] @2: Charlie is cold.[(((((triple2) -> rule3)) -> rule5))] @3: Charlie is not big.[(((((((triple2) -> rule3)) -> rule5) triple2) -> rule1))] @4: Charlie is not nice.[(((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) triple2) -> rule1)) -> rule6))]