Charlie is big. Charlie is green. Charlie is quiet. If someone is quiet and smart then they are red. If Charlie is cold and Charlie is young then Charlie is big. If someone is smart then they are big. Big people are young. If someone is quiet then they are young. All young, cold people are quiet.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is young.[(((triple1) -> rule4) OR ((triple3) -> rule5))]