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