Anne is round. Charlie is white. Erin is round. Gary is white. Round things are nice. If something is big and nice then it is young. If something is young then it is rough. If Anne is nice then Anne is big. If something is blue and white then it is nice. If something is blue then it is nice.
Anne is not big.
@0: Anne is round.[(triple1)] Charlie is white.[(triple2)] Erin is round.[(triple3)] Gary is white.[(triple4)] @1: Anne is nice.[(((triple1) -> rule1))] Erin is nice.[(((triple3) -> rule1))] @2: Anne is big.[(((((triple1) -> rule1)) -> rule4))] @3: Anne is young.[(((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule2))] @4: Anne is rough.[(((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule2)) -> rule3))]