Anne is quiet. Anne is smart. Bob is kind. Bob is red. Bob is smart. Fiona is round. Harry is kind. If someone is red then they are not cold. If someone is furry then they are not smart.
Harry is kind.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Fiona is round.[(triple6)] Harry is kind.[(triple7)] @1: Bob is not cold.[(((triple4) -> rule1))]