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