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