Anne is big. Bob is nice. Charlie is kind. Dave is cold. If someone is white then they are not big. If someone is cold and not kind then they are not white. All big people are green.
Charlie is smart.
@0: Anne is big.[(triple1)] Bob is nice.[(triple2)] Charlie is kind.[(triple3)] Dave is cold.[(triple4)] @1: Anne is green.[(((triple1) -> rule3))]