Charlie is big. Charlie is furry. Charlie is smart. Nice, smart things are round. If something is big then it is round. If something is cold and not furry then it is smart.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is round.[(((triple1) -> rule2))]