Bob is not white. Dave is nice. Dave is smart. Dave is young. Fiona is nice. Harry is big. Harry is blue. Harry is furry. Harry is not white. Harry is not young. Big people are furry. If someone is nice and blue then they are furry. If Bob is nice and Bob is blue then Bob is smart. All white, young people are smart. White, young people are smart. Blue people are not white.
Fiona is young.
@0: Bob is not white.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is nice.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8 OR ((triple6) -> rule1))] Harry is not white.[(triple9 OR ((triple7) -> rule6))] Harry is not young.[(triple10)]