Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Harry is red. Harry is white. All white people are nice. If someone is furry then they are white. If Harry is red and Harry is blue then Harry is quiet.
Harry is not quiet.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((triple5) -> rule1))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7 OR ((triple10) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is white.[(triple10 OR ((triple6) -> rule2))] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Harry is nice.[(((triple12) -> rule1))]