Charlie is round. Dave is big. Gary is kind. Harry is big. If something is round then it is nice. Nice things are kind.
Gary is cold.
@0: Charlie is round.[(triple1)] Dave is big.[(triple2)] Gary is kind.[(triple3)] Harry is big.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule1))] @2: Charlie is kind.[(((((triple1) -> rule1)) -> rule2))]