Bob is cold. Bob is not furry. Bob is not young. Erin is kind. Erin is young. Harry is not big. Harry is round. If Bob is furry and Bob is round then Bob is not nice. If something is round and furry then it is not young.
Erin is not big.
@0: Bob is cold.[(triple1)] Bob is not furry.[(triple2)] Bob is not young.[(triple3)] Erin is kind.[(triple4)] Erin is young.[(triple5)] Harry is not big.[(triple6)] Harry is round.[(triple7)]