Charlie is quiet. If someone is kind then they are green. If Charlie is quiet then Charlie is kind. Quiet, white people are round. All kind people are quiet. If someone is red and round then they are white. All quiet, blue people are green. If someone is green then they are round. If Charlie is blue and Charlie is red then Charlie is quiet.
Charlie is not round.
@0: Charlie is quiet.[(triple1)] @1: Charlie is kind.[(((triple1) -> rule2))] @2: Charlie is green.[(((((triple1) -> rule2)) -> rule1))] @3: Charlie is round.[(((((((triple1) -> rule2)) -> rule1)) -> rule7))]