Anne is cold. Anne is kind. Anne is red. Anne is smart. Bob is big. Bob is kind. Bob is not smart. All cold, red people are not big. All nice people are big. If someone is kind and not nice then they are cold.
Bob is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Bob is big.[(triple5)] Bob is kind.[(triple6)] Bob is not smart.[(triple7)] @1: Anne is not big.[(((triple1 triple3) -> rule1))]