Charlie is green. Charlie is white. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is white. Harry is green. All blue, furry things are white. If something is rough and quiet then it is green.
Charlie is not green.
@0: Charlie is green.[(triple1)] Charlie is white.[(triple2)] Gary is blue.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5 OR ((triple7 triple6) -> rule2))] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9 OR ((triple3 triple4) -> rule1))] Harry is green.[(triple10)]