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.
Charlie is not white.
@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))]