Charlie is nice. Harry is red. Red, furry people are white. If Charlie is white and Charlie is red then Charlie is rough. If someone is big and furry then they are red.
Charlie is not red.
@0: Charlie is nice.[(triple1)] Harry is red.[(triple2)]