Charlie is blue. Charlie is not kind. Charlie is smart. Charlie is white. Charlie is young. Harry is big. Harry is green. Harry is not kind. Harry is smart. Harry is not young. All green, white people are smart. All green people are smart. Kind, green people are big. All young people are big. If Charlie is white and Charlie is smart then Charlie is big. If Charlie is kind then Charlie is not big. Smart, young people are white. If someone is green and not big then they are blue.
Harry is not white.
@0: Charlie is blue.[(triple1)] Charlie is not kind.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple3 triple5) -> rule7))] Charlie is young.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] Harry is not kind.[(triple8)] Harry is not young.[(triple10)] Harry is smart.[(triple9 OR ((triple7) -> rule2))] @1: Charlie is big.[(((triple5) -> rule4) OR ((triple4 triple3) -> rule5) OR ((((triple3 triple5) -> rule7) triple3) -> rule5))]