Anne is young. Charlie is nice. Gary is red. Young things are blue. If something is white and round then it is red. Young things are white. If something is round and blue then it is red. Red things are white. If something is blue then it is round.
Charlie is not blue.
@0: Anne is young.[(triple1)] Charlie is nice.[(triple2)] Gary is red.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))] Anne is white.[(((triple1) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule4)) -> rule5))] Gary is white.[(((triple3) -> rule5))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule6))] @3: Anne is red.[(((((triple1) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule4))]