Charlie is furry. Smart, blue things are not big. All round, rough things are big. All blue, nice things are big. If something is big and rough then it is furry. If Charlie is furry and Charlie is rough then Charlie is round. Nice things are not smart. All round, rough things are not smart. All round things are not nice.
Charlie is not round.
@0: Charlie is furry.[(triple1)]