Charlie is big. Charlie is rough. Charlie is white. All blue, cold people are smart. If Charlie is blue then Charlie is rough. Blue people are young. If someone is smart and blue then they are cold. If someone is young and big then they are blue. Rough, smart people are big. All rough, big people are young. All white, young people are smart.
Charlie is not young.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is young.[(((triple2 triple1) -> rule7))] @2: Charlie is blue.[(((((triple2 triple1) -> rule7) triple1) -> rule5))] Charlie is smart.[(((triple3 ((triple2 triple1) -> rule7)) -> rule8))] @3: Charlie is cold.[(((((triple3 ((triple2 triple1) -> rule7)) -> rule8) ((((triple2 triple1) -> rule7) triple1) -> rule5)) -> rule4))]