Anne is round. Charlie is white. Dave is blue. Erin is white. If someone is round then they are big. If someone is young and kind then they are blue. All rough, white people are blue. Round people are white. If someone is round and white then they are blue. Round people are rough. If Erin is round and Erin is blue then Erin is big. All young, kind people are big.
Dave is white.
@0: Anne is round.[(triple1)] Charlie is white.[(triple2)] Dave is blue.[(triple3)] Erin is white.[(triple4)] @1: Anne is big.[(((triple1) -> rule1))] Anne is rough.[(((triple1) -> rule6))] Anne is white.[(((triple1) -> rule4))] @2: Anne is blue.[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule3))]