Gary is blue. Gary is quiet. Gary is smart. All white, quiet things are young. Green things are white. Young, quiet things are red. All blue, young things are smart. Quiet things are green. If Gary is young then Gary is quiet.
Gary is white.
@0: Gary is blue.[(triple1)] Gary is quiet.[(triple2)] Gary is smart.[(triple3 OR ((triple1 ((((((triple2) -> rule5)) -> rule2) triple2) -> rule1)) -> rule4))] @1: Gary is green.[(((triple2) -> rule5))] @2: Gary is white.[(((((triple2) -> rule5)) -> rule2))] @3: Gary is young.[(((((((triple2) -> rule5)) -> rule2) triple2) -> rule1))] @4: Gary is red.[(((((((((triple2) -> rule5)) -> rule2) triple2) -> rule1) triple2) -> rule3))]