Bob is kind. Bob is nice. Charlie is furry. Charlie is kind. Charlie is round. Charlie is white. Fiona is quiet. Harry is nice. Harry is quiet. Harry is white. If Harry is white then Harry is quiet. Kind, quiet things are nice.
Bob is not nice.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Fiona is quiet.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9 OR ((triple10) -> rule1))] Harry is white.[(triple10)]