Anne is furry. Anne is quiet. Anne is smart. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Big, quiet things are white. Furry things are big.
Charlie is not rough.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] @1: Anne is big.[(((triple1) -> rule2))] Charlie is big.[(((triple4) -> rule2))] @2: Anne is white.[(((((triple1) -> rule2) triple2) -> rule1))] Charlie is white.[(((((triple4) -> rule2) triple5) -> rule1))]