Anne is quiet. Charlie is blue. Charlie is round. Charlie is white. Dave is quiet. Gary is round. Gary is white. All quiet things are white. If Dave is blue then Dave is smart. All green, smart things are round.
Charlie is round.
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Dave is quiet.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Anne is white.[(((triple1) -> rule1))] Dave is white.[(((triple5) -> rule1))]