Charlie is big. Charlie is nice. Charlie is quiet. Cold, big people are nice. If Charlie is red and Charlie is big then Charlie is quiet. If Charlie is quiet and Charlie is nice then Charlie is smart.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is smart.[(((triple3 triple2) -> rule3))]