Charlie is kind. Charlie is round. Charlie is smart. If someone is nice and kind then they are green. All round people are kind. If Charlie is blue and Charlie is smart then Charlie is white. Blue, green people are round. All blue, nice people are white. All white people are green. If Charlie is green then Charlie is white. If someone is smart then they are nice.
Charlie is green.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule2))] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is nice.[(((triple3) -> rule8))] @2: Charlie is green.[(((((triple3) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule8) ((triple2) -> rule2)) -> rule1))] @3: Charlie is white.[(((((((triple3) -> rule8) triple1) -> rule1)) -> rule7) OR ((((((triple3) -> rule8) ((triple2) -> rule2)) -> rule1)) -> rule7))]