Bob is furry. Bob is green. Bob is round. Bob is white. Dave is furry. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is round. Erin is white. All nice, white people are smart. Nice, rough people are round. If someone is round then they are white. All white, round people are smart. White people are furry. All rough people are furry.
Dave is not nice.
@0: Bob is furry.[(triple1 OR ((triple4) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] Bob is green.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule3))] Dave is furry.[(triple5 OR ((triple6) -> rule6) OR ((triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Dave is rough.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple9 triple7) -> rule4) OR ((((triple7) -> rule3) triple7) -> rule4))] Dave is white.[(triple9 OR ((triple7) -> rule3))] Erin is furry.[(triple10 OR ((triple13) -> rule6) OR ((triple15) -> rule5) OR ((((triple14) -> rule3)) -> rule5) OR ((((((triple12 triple13) -> rule2)) -> rule3)) -> rule5))] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is rough.[(triple13)] Erin is round.[(triple14 OR ((triple12 triple13) -> rule2))] Erin is white.[(triple15 OR ((triple14) -> rule3) OR ((((triple12 triple13) -> rule2)) -> rule3))] @1: Bob is smart.[(((triple4 triple3) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4))] Erin is smart.[(((triple12 triple15) -> rule1) OR ((triple15 triple14) -> rule4) OR ((triple12 ((triple14) -> rule3)) -> rule1) OR ((triple15 ((triple12 triple13) -> rule2)) -> rule4) OR ((((triple14) -> rule3) triple14) -> rule4) OR ((((triple14) -> rule3) ((triple12 triple13) -> rule2)) -> rule4) OR ((triple12 ((((triple12 triple13) -> rule2)) -> rule3)) -> rule1) OR ((((((triple12 triple13) -> rule2)) -> rule3) triple14) -> rule4) OR ((((((triple12 triple13) -> rule2)) -> rule3) ((triple12 triple13) -> rule2)) -> rule4))]