Anne is furry. Anne is nice. Anne is white. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is rough. Harry is nice. If someone is furry and quiet then they are nice. All cold, furry people are quiet. All furry people are nice.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule3))] Anne is white.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7)] Charlie is white.[(triple8)] Fiona is rough.[(triple9)] Harry is nice.[(triple10)]