Anne is red. Charlie is quiet. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is red. If Anne is green then Anne is quiet. If something is quiet and blue then it is kind. Quiet things are big. Kind things are quiet. If Anne is big then Anne is kind. If something is quiet then it is round.
Charlie is red.
@0: Anne is red.[(triple1)] Charlie is quiet.[(triple2)] Gary is big.[(triple3 OR ((((triple6) -> rule4)) -> rule3))] Gary is blue.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is red.[(triple7)] @1: Charlie is big.[(((triple2) -> rule3))] Charlie is round.[(((triple2) -> rule6))] Gary is quiet.[(((triple6) -> rule4))] @2: Gary is round.[(((((triple6) -> rule4)) -> rule6))]