Charlie is big. Dave is not furry. Fiona is not cold. Harry is kind. Rough people are big. All big people are kind. All big, kind people are nice.
Charlie is nice.
@0: Charlie is big.[(triple1)] Dave is not furry.[(triple2)] Fiona is not cold.[(triple3)] Harry is kind.[(triple4)] @1: Charlie is kind.[(((triple1) -> rule2))] @2: Charlie is nice.[(((triple1 ((triple1) -> rule2)) -> rule3))]