Anne is nice. Anne is quiet. Anne is red. Anne is smart. Charlie is nice. Charlie is smart. Gary is young. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is young. Young things are smart. If something is smart and young then it is quiet.
Gary is not quiet.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Charlie is nice.[(triple5)] Charlie is smart.[(triple6)] Gary is young.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Gary is smart.[(((triple7) -> rule1))] Harry is smart.[(((triple12) -> rule1))] @2: Gary is quiet.[(((((triple7) -> rule1) triple7) -> rule2))] Harry is quiet.[(((((triple12) -> rule1) triple12) -> rule2))]