Dave is furry. Dave is kind. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is kind. Erin is smart. Erin is young. Gary is furry. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. Furry, young people are rough. White people are furry. If someone is smart then they are white. If someone is smart and round then they are furry. If Gary is furry then Gary is round. If Dave is furry then Dave is round.
Erin is round.
@0: Dave is furry.[(triple1 OR ((triple5) -> rule2))] Dave is kind.[(triple2)] Dave is rough.[(triple3 OR ((triple1 triple6) -> rule1) OR ((((triple5) -> rule2) triple6) -> rule1))] Dave is round.[(triple4 OR ((triple1) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] Dave is white.[(triple5)] Dave is young.[(triple6)] Erin is kind.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Gary is furry.[(triple10 OR ((triple15) -> rule2) OR ((triple14 triple13) -> rule4) OR ((((triple14) -> rule3)) -> rule2))] Gary is kind.[(triple11)] Gary is rough.[(triple12 OR ((triple10 triple16) -> rule1) OR ((((triple15) -> rule2) triple16) -> rule1) OR ((((triple14 triple13) -> rule4) triple16) -> rule1) OR ((((((triple14) -> rule3)) -> rule2) triple16) -> rule1))] Gary is round.[(triple13 OR ((triple10) -> rule5) OR ((((triple15) -> rule2)) -> rule5) OR ((((((triple14) -> rule3)) -> rule2)) -> rule5))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple14) -> rule3))] Gary is young.[(triple16)] @1: Erin is white.[(((triple8) -> rule3))] @2: Erin is furry.[(((((triple8) -> rule3)) -> rule2))] @3: Erin is rough.[(((((((triple8) -> rule3)) -> rule2) triple9) -> rule1))]