Anne is big. Anne is cold. Anne is nice. Anne is quiet. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. If something is red then it is big.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10)] @1: Charlie is big.[(((triple9) -> rule1))]