Bob is not blue. Bob is red. Bob is round. Bob is white. Dave is cold. Dave is round. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. All cold people are not nice.
Fiona is blue.
@0: Bob is not blue.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Dave is cold.[(triple5)] Dave is round.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Dave is not nice.[(((triple5) -> rule1))]