Anne is kind. Bob is big. Dave is cold. Big people are cold. If someone is cold and not kind then they are green. All smart, kind people are furry. If Bob is smart and Bob is not cold then Bob is green. All big, kind people are nice. Smart, kind people are nice. If someone is green and not big then they are nice. All kind people are not nice.
Dave is kind.
@0: Anne is kind.[(triple1)] Bob is big.[(triple2)] Dave is cold.[(triple3)] @1: Anne is not nice.[(((triple1) -> rule8))] Bob is cold.[(((triple2) -> rule1))]