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