Charlie is furry. Charlie is green. Charlie is rough. All big, furry people are blue. All blue, green people are quiet. If someone is round then they are blue. If someone is furry and green then they are rough. Round people are blue. If someone is round then they are furry.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3 OR ((triple1 triple2) -> rule4))]