Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is round. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is not round. If Charlie is quiet then Charlie is big. If Anne is blue and Anne is not furry then Anne is quiet.
Anne is round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is round.[(triple7)] Charlie is blue.[(triple9)] Charlie is furry.[(triple10)] Charlie is kind.[(triple11)] Charlie is not big.[(triple8)] Charlie is not round.[(triple12)]