Bob is big. Bob is blue. Bob is furry. Bob is quiet. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is white. Dave is big. Dave is furry. Dave is quiet. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. If something is blue then it is big. White, furry things are quiet. If something is white then it is rough.
Harry is not rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Charlie is big.[(triple5 OR ((triple6) -> rule1))] Charlie is blue.[(triple6)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Dave is big.[(triple9)] Dave is furry.[(triple10)] Dave is quiet.[(triple11)] Harry is big.[(triple12 OR ((triple13) -> rule1))] Harry is blue.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is quiet.[(triple16)] @1: Charlie is rough.[(((triple8) -> rule3))]