Bob is cold. Bob is green. Erin is cold. Erin is green. Erin is quiet. Erin is round. Erin is not smart. Gary is not furry. Gary is quiet. Gary is round. Gary is not smart. Harry is not furry. Harry is nice. Harry is quiet. Harry is round. If Erin is not green and Erin is not quiet then Erin is round.
Harry is smart.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is not smart.[(triple7)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Gary is not furry.[(triple8)] Gary is not smart.[(triple11)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Harry is nice.[(triple13)] Harry is not furry.[(triple12)] Harry is quiet.[(triple14)] Harry is round.[(triple15)]