Bob is furry. Bob is kind. Bob is not quiet. Bob is not red. Bob is white. Dave is blue. Dave is not smart. Dave is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is not smart. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Furry people are white.
Bob is kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is not quiet.[(triple3)] Bob is not red.[(triple4)] Bob is white.[(triple5 OR ((triple1) -> rule1))] Dave is blue.[(triple6)] Dave is not smart.[(triple7)] Dave is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is not smart.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Fiona is white.[(((triple10) -> rule1))]