Anne is big. Erin is quiet. Gary is nice. Harry is nice. If something is big and nice then it is white. If Harry is nice then Harry is big. If Anne is red and Anne is not kind then Anne is big. Kind, red things are big. All nice, quiet things are not big. Quiet things are not big. Nice, young things are red. White things are not quiet.
Gary is kind.
@0: Anne is big.[(triple1)] Erin is quiet.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Erin is not big.[(((triple2) -> rule6))] Harry is big.[(((triple4) -> rule2))] @2: Harry is white.[(((((triple4) -> rule2) triple4) -> rule1))] @3: Harry is not quiet.[(((((((triple4) -> rule2) triple4) -> rule1)) -> rule8))]