Bob is blue. Bob is green. Bob is red. Bob is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is white. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is white. If Harry is red and Harry is green then Harry is white.
Harry is furry.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15 OR ((triple14 triple11) -> rule1))]