Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is young. Harry is not big. Harry is cold. Harry is not kind. Harry is nice. Harry is not round. Harry is young. If Harry is blue and Harry is big then Harry is kind.
Harry is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is young.[(triple6)] Harry is cold.[(triple8)] Harry is nice.[(triple10)] Harry is not big.[(triple7)] Harry is not kind.[(triple9)] Harry is not round.[(triple11)] Harry is young.[(triple12)]