Anne is furry. Anne is nice. Anne is quiet. Anne is round. Charlie is big. Charlie is kind. Charlie is nice. Charlie is quiet. Fiona is furry. Fiona is nice. Harry is cold. Harry is furry. If Charlie is kind then Charlie is furry. Round, cold people are kind.
Fiona is round.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] @1: Charlie is furry.[(((triple6) -> rule1))]