Charlie is furry. If someone is round then they are white. All white, smart people are big. All green, round people are white. All furry people are green. If Charlie is quiet then Charlie is smart. If someone is smart and white then they are furry. All green people are white. If someone is smart then they are green.
Charlie is white.
@0: Charlie is furry.[(triple1)] @1: Charlie is green.[(((triple1) -> rule4))] @2: Charlie is white.[(((((triple1) -> rule4)) -> rule7))]