Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Dave is green. Harry is white. Young things are white. All young things are quiet. If Charlie is round then Charlie is red. If something is young and white then it is round. If something is young then it is red. All white, smart things are round. Round, green things are white. White, green things are young.
Charlie is not white.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2 OR ((triple5) -> rule2))] Charlie is red.[(triple3 OR ((triple5) -> rule5) OR ((((triple5 ((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((((triple5) -> rule1) triple4) -> rule6)) -> rule3))] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Dave is green.[(triple6)] Harry is white.[(triple7)] @1: Charlie is white.[(((triple5) -> rule1))] @2: Charlie is round.[(((triple5 ((triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule1) triple4) -> rule6))]