Bob is kind. Bob is not smart. Dave is not furry. Dave is green. Fiona is kind. Harry is not big. Harry is green. If Fiona is green and Fiona is white then Fiona is big. If something is big then it is smart. Smart things are furry. Smart things are not furry. White, big things are kind. If something is smart and furry then it is green. If Bob is white then Bob is blue. If Harry is not kind then Harry is not blue.
Bob is kind.
@0: Bob is kind.[(triple1)] Bob is not smart.[(triple2)] Dave is green.[(triple4)] Dave is not furry.[(triple3)] Fiona is kind.[(triple5)] Harry is green.[(triple7)] Harry is not big.[(triple6)]