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