Bob is big. Bob is green. Bob is kind. Bob is not smart. Bob is young. Dave is big. Dave is green. Dave is not smart. Dave is young. Fiona is not cold. Fiona is not green. Fiona is kind. Fiona is round. Fiona is not smart. Fiona is young. All smart things are not cold. All cold things are not young. If Fiona is smart then Fiona is round.
Dave is not cold.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not smart.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is not smart.[(triple8)] Dave is young.[(triple9)] Fiona is kind.[(triple12)] Fiona is not cold.[(triple10)] Fiona is not green.[(triple11)] Fiona is not smart.[(triple14)] Fiona is round.[(triple13)] Fiona is young.[(triple15)]