Bob is not big. Bob is quiet. Bob is red. Bob is round. Bob is not smart. Dave is not blue. Dave is quiet. Dave is round. Dave is smart. Fiona is not big. Fiona is not blue. Fiona is kind. Fiona is not quiet. Fiona is not red. Fiona is round. Fiona is smart. If Fiona is blue and Fiona is not quiet then Fiona is round.
Fiona is not big.
@0: Bob is not big.[(triple1)] Bob is not smart.[(triple5)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Dave is not blue.[(triple6)] Dave is quiet.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Fiona is kind.[(triple12)] Fiona is not big.[(triple10)] Fiona is not blue.[(triple11)] Fiona is not quiet.[(triple13)] Fiona is not red.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)]