Bob is not blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is not young. Fiona is blue. Fiona is furry. Fiona is not kind. Fiona is young. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is young. Kind people are nice. If Harry is young then Harry is white.
Fiona is green.
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple4) -> rule1))] Bob is not blue.[(triple1)] Bob is not young.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is not kind.[(triple9)] Fiona is young.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is young.[(triple15)] @1: Harry is nice.[(((triple14) -> rule1))] Harry is white.[(((triple15) -> rule2))]