Charlie is big. Dave is round. Fiona is round. Harry is quiet. If someone is big and white then they are furry. If someone is big then they are white.
Dave is not round.
@0: Charlie is big.[(triple1)] Dave is round.[(triple2)] Fiona is round.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is white.[(((triple1) -> rule2))] @2: Charlie is furry.[(((triple1 ((triple1) -> rule2)) -> rule1))]