Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is round. Anne is white. Charlie is big. Charlie is blue. Charlie is red. Charlie is round. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is white. If something is round and nice then it is big.
Anne is nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Harry is big.[(((triple14 triple12) -> rule1))]