Charlie is blue. Charlie is quiet. Charlie is young. Smart, quiet things are young. If Charlie is green then Charlie is cold. If Charlie is quiet and Charlie is cold then Charlie is green. If Charlie is young then Charlie is smart. If Charlie is green then Charlie is quiet. All smart things are green.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2 OR ((((((triple3) -> rule4)) -> rule6)) -> rule5))] Charlie is young.[(triple3)] @1: Charlie is smart.[(((triple3) -> rule4))] @2: Charlie is green.[(((((triple3) -> rule4)) -> rule6))] @3: Charlie is cold.[(((((((triple3) -> rule4)) -> rule6)) -> rule2))]