Bob is nice. Dave is furry. Dave is green. Dave is nice. Dave is round. Fiona is furry. Fiona is round. Round, cold people are green. If Dave is big then Dave is green. If someone is smart then they are nice.
Bob is not nice.
@0: Bob is nice.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Fiona is furry.[(triple6)] Fiona is round.[(triple7)]