Anne is not round. Charlie is big. Charlie is blue. Dave is blue. Dave is not nice. Gary is nice. Gary is red. All nice, blue people are red. Blue, white people are big. Red people are round. All nice, white people are blue. Red, round people are white. If Dave is round then Dave is white. If someone is white and not round then they are quiet. Big, red people are not quiet.
Charlie is round.
@0: Anne is not round.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Dave is blue.[(triple4)] Dave is not nice.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7)] @1: Gary is round.[(((triple7) -> rule3))] @2: Gary is white.[(((triple7 ((triple7) -> rule3)) -> rule5))] @3: Gary is blue.[(((triple6 ((triple7 ((triple7) -> rule3)) -> rule5)) -> rule4))] @4: Gary is big.[(((((triple6 ((triple7 ((triple7) -> rule3)) -> rule5)) -> rule4) ((triple7 ((triple7) -> rule3)) -> rule5)) -> rule2))] @5: Gary is not quiet.[(((((((triple6 ((triple7 ((triple7) -> rule3)) -> rule5)) -> rule4) ((triple7 ((triple7) -> rule3)) -> rule5)) -> rule2) triple7) -> rule8))]