Charlie is round. Charlie is smart. Charlie is white. If Charlie is blue then Charlie is round. Big, young people are not round. All blue people are not big. Young people are red. Young people are not blue. If Charlie is white and Charlie is round then Charlie is young.
Charlie is white.
@0: Charlie is round.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is young.[(((triple3 triple1) -> rule6))] @2: Charlie is not blue.[(((((triple3 triple1) -> rule6)) -> rule5))] Charlie is red.[(((((triple3 triple1) -> rule6)) -> rule4))]