Anne is furry. Bob is cold. Dave is kind. Fiona is not cold. If Dave is big then Dave is kind. If someone is big and not nice then they are cold.
Bob is cold.
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Dave is kind.[(triple3)] Fiona is not cold.[(triple4)]