Charlie is round. All white, furry things are red. Smart, rough things are furry. Round things are smart. All red things are round. If something is red then it is white. All nice things are round.
Charlie is not round.
@0: Charlie is round.[(triple1)] @1: Charlie is smart.[(((triple1) -> rule3))]