Bob is smart. Bob is young. Charlie is not kind. Dave is furry. Fiona is cold. Fiona is not nice. Fiona is not white. If Fiona is kind then Fiona is not white. If Charlie is white then Charlie is cold. Smart people are white. White people are smart. If Dave is nice and Dave is furry then Dave is cold. If someone is white and not smart then they are nice.
Fiona is white.
@0: Bob is smart.[(triple1)] Bob is young.[(triple2)] Charlie is not kind.[(triple3)] Dave is furry.[(triple4)] Fiona is cold.[(triple5)] Fiona is not nice.[(triple6)] Fiona is not white.[(triple7)] @1: Bob is white.[(((triple1) -> rule3))]