Bob is blue. Charlie is blue. Charlie is nice. Dave is big. Dave is blue. Harry is green. Harry is nice. If Bob is green and Bob is furry then Bob is big. If something is nice then it is green.
Harry is not green.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Harry is green.[(triple6 OR ((triple7) -> rule2))] Harry is nice.[(triple7)] @1: Charlie is green.[(((triple3) -> rule2))]