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