Dave is rough. Dave is round. Dave is white. Dave is young. Erin is cold. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is cold. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is white. Gary is young. All white people are green. Young, kind people are cold. Green, white people are kind.
Gary is round.
@0: Dave is rough.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5 OR ((triple9 ((((triple8) -> rule1) triple8) -> rule3)) -> rule2))] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is cold.[(triple10 OR ((triple16 triple12) -> rule2) OR ((triple16 ((triple11 triple15) -> rule3)) -> rule2) OR ((triple16 ((((triple15) -> rule1) triple15) -> rule3)) -> rule2))] Gary is green.[(triple11 OR ((triple15) -> rule1))] Gary is kind.[(triple12 OR ((triple11 triple15) -> rule3) OR ((((triple15) -> rule1) triple15) -> rule3))] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Dave is green.[(((triple3) -> rule1))] Erin is green.[(((triple8) -> rule1))] @2: Dave is kind.[(((((triple3) -> rule1) triple3) -> rule3))] Erin is kind.[(((((triple8) -> rule1) triple8) -> rule3))] @3: Dave is cold.[(((triple4 ((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]