Charlie is not big. Charlie is green. Charlie is not young. Green, young people are blue. Nice, green people are round. All green, young people are round. All blue people are nice. If someone is green then they are nice. If Charlie is green and Charlie is round then Charlie is not blue. White people are not big. Green people are not big.
Charlie is not blue.
@0: Charlie is green.[(triple2)] Charlie is not big.[(triple1 OR ((triple2) -> rule8))] Charlie is not young.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule5))] @2: Charlie is round.[(((((triple2) -> rule5) triple2) -> rule2))] @3: Charlie is not blue.[(((triple2 ((((triple2) -> rule5) triple2) -> rule2)) -> rule6))]