Anne is round. Anne is white. Charlie is big. If someone is furry and not kind then they are green. If someone is big then they are red. If someone is kind and not big then they are furry.
Charlie is not big.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] @1: Charlie is red.[(((triple3) -> rule2))]