Charlie is cold. Charlie is round. Dave is big. Fiona is furry. Fiona is round. Fiona is smart. Harry is kind. All round, big people are kind. Big people are round.
Dave is round.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3)] Fiona is furry.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Harry is kind.[(triple7)] @1: Dave is round.[(((triple3) -> rule2))] @2: Dave is kind.[(((((triple3) -> rule2) triple3) -> rule1))]