Charlie is big. Charlie is rough. Gary is rough. If Charlie is smart and Charlie is blue then Charlie is young. All smart, young people are white. If someone is rough and blue then they are young. If Gary is young then Gary is blue. If someone is rough then they are smart. Big, young people are rough.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule5))] Gary is smart.[(((triple3) -> rule5))]