Bob is green. Bob is nice. Bob is white. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Fiona is quiet. Fiona is red. Harry is not furry. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is not white. All furry things are nice. If Harry is kind and Harry is not nice then Harry is white. If something is nice and not white then it is green.
Fiona is not green.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7 OR ((triple4) -> rule1))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Harry is green.[(triple11 OR ((triple13 triple16) -> rule3))] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is not furry.[(triple10)] Harry is not white.[(triple16)] Harry is quiet.[(triple14)] Harry is red.[(triple15)]