Anne is green. Anne is quiet. Anne is smart. Charlie is red. Charlie is white. Dave is kind. Dave is quiet. Dave is smart. Gary is red. Gary is white. Kind, young things are green. If something is red and young then it is white. If Dave is kind and Dave is young then Dave is smart. Red things are white. If Gary is white and Gary is red then Gary is smart. Smart, quiet things are kind. All young, white things are quiet. Quiet things are smart.
Charlie is red.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3 OR ((triple2) -> rule8))] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((triple4) -> rule4))] Dave is kind.[(triple6 OR ((triple8 triple7) -> rule6) OR ((((triple7) -> rule8) triple7) -> rule6))] Dave is quiet.[(triple7)] Dave is smart.[(triple8 OR ((triple7) -> rule8))] Gary is red.[(triple9)] Gary is white.[(triple10 OR ((triple9) -> rule4))] @1: Anne is kind.[(((triple3 triple2) -> rule6) OR ((((triple2) -> rule8) triple2) -> rule6))] Gary is smart.[(((triple10 triple9) -> rule5) OR ((((triple9) -> rule4) triple9) -> rule5))]