Anne is kind. Charlie is blue. Charlie is smart. Dave is blue. Dave is cold. Dave is kind. Gary is smart. Smart people are cold. If someone is round then they are nice. All smart, nice people are round.
Anne is not nice.
@0: Anne is kind.[(triple1)] Charlie is blue.[(triple2)] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is cold.[(((triple3) -> rule1))] Gary is cold.[(((triple7) -> rule1))]