Anne is furry. Anne is quiet. Anne is smart. Anne is white. Bob is furry. Charlie is round. Charlie is smart. If Charlie is smart then Charlie is kind. Round, kind people are green.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] @1: Charlie is kind.[(((triple7) -> rule1))] @2: Charlie is green.[(((triple6 ((triple7) -> rule1)) -> rule2))]