Anne is white. Bob is white. Erin is white. Gary is big. All smart people are green. If someone is big and smart then they are young. All young people are white. If someone is green and white then they are big. All smart people are young. All smart, young people are white. All big people are smart. All white, blue people are green.
Gary is young.
@0: Anne is white.[(triple1)] Bob is white.[(triple2)] Erin is white.[(triple3)] Gary is big.[(triple4)] @1: Gary is smart.[(((triple4) -> rule7))] @2: Gary is green.[(((((triple4) -> rule7)) -> rule1))] Gary is young.[(((((triple4) -> rule7)) -> rule5) OR ((triple4 ((triple4) -> rule7)) -> rule2))] @3: Gary is white.[(((((((triple4) -> rule7)) -> rule5)) -> rule3) OR ((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule3) OR ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule5)) -> rule6) OR ((((triple4) -> rule7) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6))]