Bob is furry. Bob is quiet. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is round. Fiona is kind. Fiona is round. Green, red people are white.
Bob is not white.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] @1: Dave is white.[(((triple4 triple7) -> rule1))]