Anne is big. Anne is not blue. Charlie is smart. All blue people are kind. All smart, blue people are kind. If someone is cold then they are smart. If someone is white and round then they are not smart. All big people are smart. All big, cold people are white. All blue people are not cold. If Charlie is cold then Charlie is white.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Charlie is smart.[(triple3)] @1: Anne is smart.[(((triple1) -> rule5))]