Charlie is not big. Charlie is furry. Harry is big. If someone is furry then they are not white.
Harry is furry.
@0: Charlie is furry.[(triple2)] Charlie is not big.[(triple1)] Harry is big.[(triple3)] @1: Charlie is not white.[(((triple2) -> rule1))]