Charlie is quiet. If Charlie is green and Charlie is cold then Charlie is round. If Charlie is round and Charlie is furry then Charlie is cold. If something is green then it is cold. If something is furry and smart then it is round. If Charlie is smart then Charlie is green. If Charlie is green and Charlie is cold then Charlie is big. If Charlie is quiet then Charlie is cold. Quiet things are big.
Charlie is not round.
@0: Charlie is quiet.[(triple1)] @1: Charlie is big.[(((triple1) -> rule8))] Charlie is cold.[(((triple1) -> rule7))]