Bob is not big. Bob is not blue. Bob is nice. Bob is not red. Bob is not white. Fiona is not big. Fiona is blue. Fiona is nice. Fiona is not red. Fiona is white. If Fiona is red then Fiona is not big. All red, big things are nice. All blue, big things are nice.
Fiona is furry.
@0: Bob is nice.[(triple3)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is not red.[(triple4)] Bob is not white.[(triple5)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is not big.[(triple6)] Fiona is not red.[(triple9)] Fiona is white.[(triple10)]