Bob is not green. Bob is kind. Bob is round. Bob is young. Erin is green. Erin is kind. Erin is white. Gary is round. Harry is round. Harry is white. Red, young people are smart. All white, kind people are young. Young people are red.
Gary is not smart.
@0: Bob is kind.[(triple2)] Bob is not green.[(triple1)] Bob is round.[(triple3)] Bob is young.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] Gary is round.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Bob is red.[(((triple4) -> rule3))] Erin is young.[(((triple7 triple6) -> rule2))] @2: Bob is smart.[(((((triple4) -> rule3) triple4) -> rule1))] Erin is red.[(((((triple7 triple6) -> rule2)) -> rule3))] @3: Erin is smart.[(((((((triple7 triple6) -> rule2)) -> rule3) ((triple7 triple6) -> rule2)) -> rule1))]