Bob is furry. Bob is green. Bob is smart. Dave is blue. Dave is furry. Dave is green. Dave is smart. Fiona is blue. Fiona is kind. Fiona is quiet. If someone is kind and green then they are quiet. White, blue people are smart. If someone is quiet then they are kind.
Bob is not smart.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule3))] Fiona is quiet.[(triple10)]