Charlie is white. Fiona is red. Gary is rough. Harry is red. All red, furry people are kind. All white people are red. Red, round people are furry.
Gary is not kind.
@0: Charlie is white.[(triple1)] Fiona is red.[(triple2)] Gary is rough.[(triple3)] Harry is red.[(triple4)] @1: Charlie is red.[(((triple1) -> rule2))]