Bob is furry. Bob is green. Bob is red. Bob is white. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Gary is nice. Gary is quiet. Gary is red. Red people are nice. Green people are white. Furry, round people are quiet.
Dave is round.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4 OR ((triple2) -> rule2))] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple9 triple12) -> rule3))] Fiona is round.[(triple12)] Fiona is white.[(triple13)] Gary is nice.[(triple14 OR ((triple16) -> rule1))] Gary is quiet.[(triple15)] Gary is red.[(triple16)] @1: Bob is nice.[(((triple3) -> rule1))] Dave is white.[(((triple6) -> rule2))]