Bob is big. Bob is blue. Bob is furry. Charlie is furry. Charlie is white. Charlie is young. Dave is big. Dave is furry. Dave is green. Dave is young. Fiona is furry. Fiona is green. Furry, green people are white. If someone is green and furry then they are red. Blue, green people are red.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Charlie is furry.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] @1: Dave is red.[(((triple9 triple8) -> rule2))] Dave is white.[(((triple8 triple9) -> rule1))] Fiona is red.[(((triple12 triple11) -> rule2))] Fiona is white.[(((triple11 triple12) -> rule1))]