Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Bob is young. Dave is furry. Dave is nice. Dave is young. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is young. Nice, red people are round. Young people are round.
Dave is furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple7) -> rule2) OR ((triple3 triple4) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple8)] Dave is nice.[(triple9)] Dave is young.[(triple10)] Erin is furry.[(triple11)] Erin is green.[(triple12)] Erin is nice.[(triple13)] Erin is red.[(triple14)] Erin is young.[(triple15)] @1: Dave is round.[(((triple10) -> rule2))] Erin is round.[(((triple15) -> rule2) OR ((triple13 triple14) -> rule1))]