Charlie is furry. Erin is round. If someone is round and furry then they are white. If someone is smart then they are young. If Charlie is white then Charlie is quiet. If someone is young and smart then they are furry. If someone is white and cold then they are smart. All furry people are white.
Charlie is quiet.
@0: Charlie is furry.[(triple1)] Erin is round.[(triple2)] @1: Charlie is white.[(((triple1) -> rule6))] @2: Charlie is quiet.[(((((triple1) -> rule6)) -> rule3))]