Anne is big. Anne is furry. Anne is kind. Anne is smart. Charlie is furry. Charlie is not kind. Charlie is quiet. Charlie is smart. Charlie is young. Harry is big. Harry is kind. Harry is not quiet. All quiet people are round. Kind, round people are big.
Charlie is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Charlie is furry.[(triple5)] Charlie is not kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Charlie is young.[(triple9)] Harry is big.[(triple10)] Harry is kind.[(triple11)] Harry is not quiet.[(triple12)] @1: Charlie is round.[(((triple7) -> rule1))]